From c5790aa41765fda31090ef898dab741a656a31cc Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Mon, 19 May 2003 09:21:17 +0000
Subject: fix PR#1559

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 typing/typetexp.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'typing/typetexp.mli')

diff --git a/typing/typetexp.mli b/typing/typetexp.mli
index 300ebe5ace..ba3abaa412 100644
--- a/typing/typetexp.mli
+++ b/typing/typetexp.mli
@@ -52,9 +52,8 @@ type error =
   | Constructor_mismatch of Types.type_expr * Types.type_expr
   | Not_a_variant of Types.type_expr
   | Variant_tags of string * string
-  | No_row_variable of string
-  | Bad_alias of string
   | Invalid_variable_name of string
+  | Cannot_quantify of string * Types.type_expr
 
 exception Error of Location.t * error
 
-- 
cgit v1.2.1