Starting a new DPOR implementation.

[jpf-core.git] / examples / HelloWorld.java

diff --git a/examples/HelloWorld.java b/examples/HelloWorld.java
index 1ac8f4b250c233e810582b6f56d220c013f310cc..8b682a7801f9b05957778cf95642ee6a14ff8466 100644 (file)
--- a/examples/HelloWorld.java
+++ b/examples/HelloWorld.java
@@ -3,6 +3,5 @@ public class HelloWorld {
        public static void main(String[] args) {
 
                System.out.println("Hello World!");
-       
        }
 }