diff options
Diffstat (limited to 'sysutils/ledit/files/patch-pa_local.ml')
| -rw-r--r-- | sysutils/ledit/files/patch-pa_local.ml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/sysutils/ledit/files/patch-pa_local.ml b/sysutils/ledit/files/patch-pa_local.ml new file mode 100644 index 000000000000..9c6f32e6e40a --- /dev/null +++ b/sysutils/ledit/files/patch-pa_local.ml @@ -0,0 +1,15 @@ +--- pa_local.ml.orig Mon Jun 25 11:20:33 2007 ++++ pa_local.ml Mon Jun 25 11:21:06 2007 +@@ -14,10 +14,10 @@ + open Pcaml; + + value expr_of_patt p = +- let loc = MLast.loc_of_patt p in ++ let _loc = MLast.loc_of_patt p in + match p with + [ <:patt< $lid:x$ >> -> <:expr< $lid:x$ >> +- | _ -> Stdpp.raise_with_loc loc (Stream.Error "identifier expected") ] ++ | _ -> Stdpp.raise_with_loc _loc (Stream.Error "identifier expected") ] + ; + + EXTEND |