diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-01-26 20:51:52 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-01-26 20:51:52 +0000 |
| commit | 0e25df028cccfc2b2b56a27b61990a64e117bdc0 (patch) | |
| tree | 10a2869ae5e525fe278fddc8848d11c03f30b90f /camlp4 | |
| parent | a956aebe9b14ab8653dd9b556225f41aea851ba0 (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
| -rw-r--r-- | camlp4/meta/pa_extend.ml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/camlp4/meta/pa_extend.ml b/camlp4/meta/pa_extend.ml index 6f233e72f..2df1cbacc 100644 --- a/camlp4/meta/pa_extend.ml +++ b/camlp4/meta/pa_extend.ml @@ -561,12 +561,6 @@ value ssopt loc s = TXrules loc (srules loc "a_opt" rl "") ; -value is_global e = - fun - [ None -> True - | Some gl -> List.exists (fun n -> n.tvar = e.name.tvar) gl ] -; - value text_of_entry loc gmod e = let ent = let x = e.name in |