# HG changeset patch
# User huffman
# Date 1287699547 25200
# Node ID c157ff4d59a6e6e12a952c271a578cea3d3f3772
# Parent  23a1cfdb5acbf41a3cde54397c12115c7d4df9a0
add type annotation to avoid warning

diff -r 23a1cfdb5acb -r c157ff4d59a6 src/HOLCF/Up.thy
--- a/src/HOLCF/Up.thy	Thu Oct 21 12:51:36 2010 -0700
+++ b/src/HOLCF/Up.thy	Thu Oct 21 15:19:07 2010 -0700
@@ -120,7 +120,8 @@
       by (simp add: lub_const)
     thus ?thesis ..
   next
-    fix A assume "range S <<| Iup (\<Squnion>i. A i)"
+    fix A :: "nat \<Rightarrow> 'a"
+    assume "range S <<| Iup (\<Squnion>i. A i)"
     thus ?thesis ..
   qed
 qed