Porting prooftree to ocaml 4.x

==> make
File "input.ml", line 30, characters 0-2:
Error: This comment contains an unterminated string literal
File "input.ml", line 58, characters 38-47:
Error: String literal begins here
make: *** [Makefile.deps] Error 2

 

 In prooftree 0.12, in file input.ml, comments with contents of the following form occur (excerpts from a patch where the "-" lines are before my hack, and "+" are after my hack).  As yet, I can find no documentation of the behavior of "|" inside of curly brackets inside of comments.  Whats the correct fix?

 

 -    which contains no white space. ``\{cheated|not-cheated\}'' denotes
+    which contains no white space. ``\{cheatednot-cheated\}'' denotes

 

 -    {cheated|not-cheated} {new-layer|current-layer} proof-name-bytes %d \
+    {cheatednot-cheated} {new-layercurrent-layer} proof-name-bytes %d \

 
-    {- {v branch-finished state %d {cheated|not-cheated} \
+    {- {v branch-finished state %d {cheatednot-cheated} \

- * current-goals state %d current-sequent %s {cheated|not-cheated} \
+ * current-goals state %d current-sequent %s {cheatednot-cheated} \

- * branch-finished state %d {cheated|not-cheated} \
+ * branch-finished state %d {cheatednot-cheated} \