72f1fc3
--- bin_prot-2.0.9.old/myocamlbuild.ml	2018-06-20 20:39:23.831032731 +0100
72f1fc3
+++ bin_prot-2.0.9/myocamlbuild.ml	2018-06-20 20:39:59.613139344 +0100
72f1fc3
@@ -471,7 +471,7 @@
72f1fc3
 
72f1fc3
 # 473 "myocamlbuild.ml"
72f1fc3
 (* OASIS_STOP *)
72f1fc3
-# 465 myocamlbuild.ml
72f1fc3
+# 465 "myocamlbuild.ml"
72f1fc3
 
72f1fc3
 (* We probably will want to set this up in the `configure` script at some
72f1fc3
    point.*)