JBMC: minor fix, removing superfluous padding from converter

Author: Degiorgio

appveyor.yml

@@ -44,14 +44,15 @@ install:
     }
     if (!(Test-Path jml)) {
      & appveyor downloadfile https://github.com/diffblue/java-models-library/archive/master.zip -FileName jml.zip
-     & 7z x jml.zip
+     & 7z x jml.zip -odeps/jml
     }
     cd ..
 
 cache: deps
 
 build_script:
 - cmd: |
+    find . -maxdepth 3
     cp -r deps/jml/src jbmc/src/java_bytecode/library
     cp -r deps/minisat2-2.2.1 minisat-2.2.1
     patch -d minisat-2.2.1 -p1 < scripts/minisat-2.2.1-patch

jbmc/src/java_bytecode/library/converter.cpp

@@ -66,7 +66,7 @@ int main(int argc, char *argv[])
     printf("\n");
   }
 
-  std::cout << "\n#define " << varname <<  "_SIZE " << size << "\n\n";
+  std::cout << "\n#define " << varname << "_SIZE " << size << "\n";
   src.close();
   return 0;
 }