# HG changeset patch
# User clasohm
# Date 781620340 -3600
# Node ID 68fbcdba50d2f670600ab8b4b36f90d011b53b46
# Parent  119391dd1d59a9b72c2ce216b6b11a8243d6f453
changed precedences of _constrain (i.e. "::")

diff -r 119391dd1d59 -r 68fbcdba50d2 src/Pure/Syntax/mixfix.ML
--- a/src/Pure/Syntax/mixfix.ML	Thu Oct 06 18:40:18 1994 +0100
+++ b/src/Pure/Syntax/mixfix.ML	Sat Oct 08 13:45:40 1994 +0100
@@ -166,6 +166,6 @@
   ("",          "id => logic",                    Delimfix "_"),
   ("",          "var => logic",                   Delimfix "_"),
   ("_appl",     "[logic, args] => logic",         Mixfix ("(1_/(1'(_')))", [max_pri, 0], max_pri)),
-  ("_constrain", "[logic, type] => logic",        Mixfix ("_::_", [max_pri, 0], 999))]
+  ("_constrain", "[logic, type] => logic",        Mixfix ("_::_", [4, 0], 3))]
 
 end;