forgot to use cfg-to-path. Still broken though.

1 files changed, 8 insertions, 1 deletions

diff --git a/instr-to-kodkod/src/Main.java b/instr-to-kodkod/src/Main.java
index e6b5750..5b0e9b5 100644
--- a/instr-to-kodkod/src/Main.java
+++ b/instr-to-kodkod/src/Main.java
@@ -188,7 +188,14 @@ public class Main
 
       while (solutions.hasNext())
       {
-         System.out.println(solutions.next());
+         final Solution sol;
+
+         sol = solutions.next();
+
+         if (sol.sat())
+         {
+            System.out.println(sol);
+         }
       }
    }
 }