diff options
Diffstat (limited to 'camlp4/lib/stdpp.ml')
| -rw-r--r-- | camlp4/lib/stdpp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/lib/stdpp.ml b/camlp4/lib/stdpp.ml index 665dac1f30..1a5f078a52 100644 --- a/camlp4/lib/stdpp.ml +++ b/camlp4/lib/stdpp.ml @@ -85,4 +85,4 @@ value line_of_loc fname (bp, ep) = ; *) -value loc_name = ref "loc"; +value loc_name = ref "_loc"; |