Diff of /Test/CanNotProve/facts.kfb [6e8bf0] .. [8be709] Maximize Restore

  Switch to side-by-side view

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