Diff of /Test/CanNotProve/rules.krb [9b9741] .. [4dca5a] Maximize Restore

  Switch to side-by-side view

--- a/Test/CanNotProve/rules.krb
+++ b/Test/CanNotProve/rules.krb
@@ -8,4 +8,4 @@
 rule2
     use rule2($x)
     when
-        facts.fact2($x)
+        facts.fact2($x)