diff options
| author | Alain Frisch <alain@frisch.fr> | 2008-04-22 15:45:55 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2008-04-22 15:45:55 +0000 |
| commit | 8e03390daffdc3fab4b83807f8fdd4ddcdcb9da1 (patch) | |
| tree | 6f7e3afc3fe9717f38724a55d475666dedd67e2b | |
| parent | dedf33637b2bf982edc62133e5c1a88d28357757 (diff) | |
Cleanup.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8878 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/ctype.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index 14e6a032a..cea1e3670 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -101,7 +101,6 @@ let current_level = ref 0 let nongen_level = ref 0 let global_level = ref 1 let saved_level = ref [] -let saved_global_level = ref [] let init_def level = current_level := level; nongen_level := level let begin_def () = @@ -119,8 +118,7 @@ let end_def () = current_level := cl; nongen_level := nl let reset_global_level () = - global_level := !current_level + 1; - saved_global_level := [] + global_level := !current_level + 1 let increase_global_level () = let gl = !global_level in global_level := !current_level; |