Fix missing newline at end of file

smowton · smowton · commit 253e33115d38 · 2018-10-24T10:32:07.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`	`+}`