add type annotation to avoid warning
authorhuffman
Thu Oct 14 09:28:05 2010 -0700 (2010-10-14)
changeset 40012f13341a45407
parent 40011 b974cf829099
child 40013 9db8fb58fddc
add type annotation to avoid warning
src/HOLCF/Bifinite.thy
     1.1 --- a/src/HOLCF/Bifinite.thy	Wed Oct 13 10:56:42 2010 -0700
     1.2 +++ b/src/HOLCF/Bifinite.thy	Thu Oct 14 09:28:05 2010 -0700
     1.3 @@ -440,7 +440,7 @@
     1.4  
     1.5  lemma finite_deflation_lift_approx: "finite_deflation (lift_approx i)"
     1.6  proof
     1.7 -  fix x
     1.8 +  fix x :: "'a lift"
     1.9    show "lift_approx i\<cdot>x \<sqsubseteq> x"
    1.10      unfolding lift_approx_def
    1.11      by (cases x, simp, simp)