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