Diff of /Test/CanNotProve/facts.kfb [8be709] .. [4dca5a] Maximize Restore

  Switch to side-by-side view

--- a/Test/CanNotProve/facts.kfb
+++ b/Test/CanNotProve/facts.kfb
@@ -1,4 +1,4 @@
 # facts.kfb
 
 fact1(1)
-fact3('hi\nthere')
+fact3('hi\nthere')