Resolve "add horn sat algorithm"

Closes #5 (closed) Closes #4 (closed)

project1/lib/lib.ml

@@ -56,7 +56,7 @@ let print_list print l =
   let rec aux  = function
     |[] -> Buffer.add_char buffer ']'
     |[x] ->  Buffer.add_string buffer (print x); Buffer.add_char buffer ']'
-    |x::l -> Buffer.add_string buffer (print x);print_string ";"; aux l
+    |x::l -> Buffer.add_string buffer (print x);Buffer.add_char buffer ';'; aux l
   in 
   aux l;
   Buffer.contents buffer