[r2003-11-25 11:16:06 by beppe] Modified error message

Original author: beppe
Date: 2003-11-25 11:16:06+00:00

typing/typer.ml

@@ -935,7 +935,7 @@ let rec expr env loc = function
 	    let x = U.to_string (Id.value x) in
 	    warning br_loc 
 	      ("The capture variable " ^ x ^ 
-	       " is declared in the pattern but not used in the body of this branch. It might be a misspelled type or name (if not use _ instead)."));
+	       " is declared in the pattern but not used in the body of this branch. It might be a misspelled or undeclared type or name (if it isn't, use _ instead)."));
       let fv2 = Fv.diff fv2 (Patterns.fv p) in
       fv := Fv.cup !fv fv2;
       accept := Types.cup !accept (Types.descr (Patterns.accept p));