Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-02 03:57:53 -0700 (Mon, 02 May 2005)
Revision: 7242
Log message:

      Give an error message reading "not enough information to infer the type of the
      hypothesis - v: t" instead of a very cryptic "unbound variable -
      'sequent-hypNNNN".
      

Changes	Path
+1 -1	metaprl/refiner/reflib/refine_exn.ml
+22 -27	metaprl/refiner/reflib/term_ty_infer.ml