# HG changeset patch
# User huffman
# Date 1288202813 25200
# Node ID 656bb85f01ab1e9409fc371fa9bb3e26a749c6f1
# Parent  366309dfaf60a511750b820a6af53be546692347
make op -->> infixr, to match op --->

diff -r 366309dfaf60 -r 656bb85f01ab src/HOLCF/Tools/holcf_library.ML
--- a/src/HOLCF/Tools/holcf_library.ML	Tue Oct 26 14:19:59 2010 -0700
+++ b/src/HOLCF/Tools/holcf_library.ML	Wed Oct 27 11:06:53 2010 -0700
@@ -8,7 +8,7 @@
 struct
 
 infixr 6 ->>;
-infix -->>;
+infixr -->>;
 infix 9 `;
 
 (*** Operations from Isabelle/HOL ***)