Polish comments.

[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib / Ratio.hs

diff --git a/symantic-lib/Language/Symantic/Lib/Ratio.hs b/symantic-lib/Language/Symantic/Lib/Ratio.hs
index 46ed41b119d71e1c3b95fbfca639e702f2217313..77a8b5e9dfc3c8c32d272949efbc1c9a4e77de86 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Ratio.hs
+++ b/symantic-lib/Language/Symantic/Lib/Ratio.hs
@@ -11,7 +11,7 @@ import Language.Symantic.Lib.Function (a0)
 import Language.Symantic.Lib.Integral (tyIntegral)
 
 -- * Class 'Sym_Ratio'
-type instance Sym (Proxy Ratio) = Sym_Ratio
+type instance Sym Ratio = Sym_Ratio
 class Sym_Ratio term where
        ratio       :: Integral a => term a -> term a -> term (Ratio a)
        numerator   :: term (Ratio a) -> term a