JBMC: Minor fix, removing superfluous padding from converter

NathanJPhillips · Jun 3, 2018 · 1bd4f04 · 1bd4f04
1 parent 7985716
commit 1bd4f04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jbmc/src/java_bytecode/library/converter.cpp b/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;
 }