diff options
| author | Jacques Le Normand <rathereasy@gmail.com> | 2010-11-10 06:01:27 +0000 |
|---|---|---|
| committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-11-10 06:01:27 +0000 |
| commit | 1680403fb9b131d9750b1557fe2f58b0d7eea559 (patch) | |
| tree | 99b3d57280d4320e1fea909d02ced63d4fea80a8 /typing/btype.ml | |
| parent | e5c079a7095771502989aca3596e43642bc82f77 (diff) | |
| download | ocaml-1680403fb9b131d9750b1557fe2f58b0d7eea559.tar.gz | |
clean up
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/btype.ml')
| -rw-r--r-- | typing/btype.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/typing/btype.ml b/typing/btype.ml index 877130d691..5dbce58562 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -23,7 +23,7 @@ let generic_level = 100000000 (* Used to mark a type during a traversal. *) let lowest_level = 0 let pivot_level = 2 * lowest_level - 1 - (* pivot_level - lowest_level < lowest_level *) + (* pivot_level - lowest_level < lowest_level *) (**** Some type creators ****) @@ -515,7 +515,6 @@ let backtrack (changes, old) = last_snapshot := old; Weak.set trail 0 (Some changes) - (**** Sets, maps and hashtables of types ****) module TypeSet = Set.Make(TypeOps) |