# HG changeset patch
# User lcp
# Date 751210806 -3600
# Node ID facfff975d1ae403b7777f993b8c1f09145da2c1
# Parent  f8c1922b78e31b174ee0bd272d158907e995e0a3
Pure/Syntax/printer/is_prop: now calls fastype_of1

diff -r f8c1922b78e3 -r facfff975d1a src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Thu Oct 21 14:38:06 1993 +0100
+++ b/src/Pure/Syntax/printer.ML	Thu Oct 21 14:40:06 1993 +0100
@@ -62,7 +62,7 @@
     fun aprop t = Const (apropC, dummyT) $ t;
 
     fun is_prop tys tm =
-      fastype_of (tys, tm) = propT handle TERM _ => false;
+      fastype_of1 (tys, tm) = propT handle TERM _ => false;
 
     fun fix_aprop _ (tm as Const _) = tm
       | fix_aprop _ (tm as Free (x, ty)) =