# HG changeset patch
# User lcp
# Date 751211994 -3600
# Node ID 08d3c007ae7c368fb9daeab1e1822041fa01f46c
# Parent  0bbe5d86cb38d9489d9c4e28f7867d0e47ca2a23
simpdata/basify: now calls new fastype_of

diff -r 0bbe5d86cb38 -r 08d3c007ae7c src/LCF/simpdata.ML
--- a/src/LCF/simpdata.ML	Thu Oct 21 14:56:12 1993 +0100
+++ b/src/LCF/simpdata.ML	Thu Oct 21 14:59:54 1993 +0100
@@ -1,7 +1,7 @@
 (*  Title: 	LCF/simpdata
     ID:         $Id$
     Author: 	Tobias Nipkow, Cambridge University Computer Laboratory
-    Copyright   1991  University of Cambridge
+    Copyright   1993  University of Cambridge
 
 Simplification data for LCF
 *)
@@ -10,7 +10,7 @@
 fun mk_rew_rules r =
 let fun basify thm =
 	  (case concl_of thm of
-             _$(_$t$_) => (case fastype_of([],t) of
+             _$(_$t$_) => (case fastype_of t of
 	                     Type("fun",_) => basify(thm RS ap_thm)
 	                   | _ => thm)
            | _ => thm)