diff options
author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-11-15 09:32:26 +0000 |
---|---|---|
committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-11-15 09:32:26 +0000 |
commit | d3b7e35cac2ffb0e317a4335c08976a68e702d14 (patch) | |
tree | 6e6594dd4bda4e485b570c85dfeab4b2782ee4fa | |
parent | dd6c753bf89d5601123c97f2bc0abd4590ede456 (diff) | |
download | ocaml-d3b7e35cac2ffb0e317a4335c08976a68e702d14.tar.gz |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | camlp4/top/camlp4_top.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/top/camlp4_top.ml b/camlp4/top/camlp4_top.ml index 4e14caae80..b937885bb0 100644 --- a/camlp4/top/camlp4_top.ml +++ b/camlp4/top/camlp4_top.ml @@ -156,7 +156,7 @@ value use_file cs = | _ -> (pl, False) ] else (pl, True) in - let pl = + let r = if eoi then pl0 else loop () where rec loop () = |