# HG changeset patch
# User clasohm
# Date 772884077 -7200
# Node ID 2b97bd6415b79e0a8f4d2d342232b5908a3c44b9
# Parent  1577cbcd0936413eae85718f6668fbeab0b9dac1
changed precedence of constrain to [4, 0], 3

diff -r 1577cbcd0936 -r 2b97bd6415b7 src/Pure/Syntax/syn_ext.ML
--- a/src/Pure/Syntax/syn_ext.ML	Fri Jun 24 13:01:53 1994 +0200
+++ b/src/Pure/Syntax/syn_ext.ML	Wed Jun 29 12:01:17 1994 +0200
@@ -311,7 +311,7 @@
 
     fun constrain T =
       Mfix ("_::_", [T, typeT] ---> change_name T "_A", constrainC, 
-            [max_pri, 0], max_pri - 1)
+            [4, 0], 3)
 
     fun unhide T =
       if T <> logicT then