diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:11:53 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:11:53 +0000 |
| commit | 1b3923e514ab9ccc028d5ee53b0c24026fa4e17d (patch) | |
| tree | 5f0be6f8da72b28d87aab5f2c6c03b9e24dfdec9 | |
| parent | 296fc0547052da47bf0e983cab1ce173fa1e8882 (diff) | |
dead code
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2652 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/btype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/btype.ml b/typing/btype.ml index 1a700b5af..0ba35671c 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -128,7 +128,7 @@ let iter_type_expr f ty = | Tfield (_, _, ty1, ty2) -> f ty1; f ty2 | Tnil -> () | Tlink ty -> f ty - | Tsubst ty -> assert false; f ty + | Tsubst ty -> assert false let saved_desc = ref [] (* Saved association of generic nodes with their description. *) |