Still on splitting

runtimeverification · Jul 10, 2015 · 990b896 · 990b896
1 parent 1f47dc4
commit 990b896
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/JavaMOPAgentUsage.md b/docs/JavaMOPAgentUsage.md
@@ -67,6 +67,7 @@ property files: SafeFile.mop and SafeFileWriter.mop.
 7. (Optional) Compile the monitor library file and remove Java file:
 
 	```javac classes/mop/MultiSpec_1RuntimeMonitor.java```
+	
 	```rm classes/mop/MultiSpec_1RuntimeMonitor.java```
 
 8. Build a JavaMOP agent which does not contain AspectJ Weaver and