Fix missing newline at end of file

smowton · smowton · commit 0a9f34e29100 · 2018-10-22T12:28:42.000+01:00
diff --git a/jbmc/unit/java_bytecode/java_replace_nondet/replace_nondet.cpp b/jbmc/unit/java_bytecode/java_replace_nondet/replace_nondet.cpp
@@ -292,4 +292,4 @@ SCENARIO(
     //      load_and_test_method("replaceNondetReturnUnboxed:()I", functions, symbol_table);
     //    }
   }
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -292,4 +292,4 @@ SCENARIO(`
`292`	`292`	`// load_and_test_method("replaceNondetReturnUnboxed:()I", functions, symbol_table);`
`293`	`293`	`// }`
`294`	`294`	`}`
`295`		`-}`
	`295`	`+}`