diff options
| -rw-r--r-- | camlp4/camlp4/argl.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/camlp4/camlp4/argl.ml b/camlp4/camlp4/argl.ml index a6677de12..bc2767212 100644 --- a/camlp4/camlp4/argl.ml +++ b/camlp4/camlp4/argl.ml @@ -132,6 +132,8 @@ value print_warning loc s = value rec parse_file pa getdir useast = let name = Pcaml.input_file.val in + let (_,_,fname) = Pcaml.position.val in + let () = fname.val := name in do { Pcaml.warning.val := print_warning; let ic = if name = "-" then stdin else open_in_bin name in |