Improve GNUmakefile.

[comptalang.git] / lcc / Hcompta / LCC / Sym / Date.hs

diff --git a/lcc/Hcompta/LCC/Sym/Date.hs b/lcc/Hcompta/LCC/Sym/Date.hs
index 8f13443e4909f8b8544a883b4670c9396da601c2..ac2f6e779f2bd4b12d6cc530b2ee017afa8871b3 100644 (file)
--- a/lcc/Hcompta/LCC/Sym/Date.hs
+++ b/lcc/Hcompta/LCC/Sym/Date.hs
@@ -9,7 +9,7 @@ import Hcompta.LCC.Posting (Date)
 import Language.Symantic
 
 -- * Class 'Sym_Date'
-type instance Sym (Proxy Date) = Sym_Date
+type instance Sym Date = Sym_Date
 class Sym_Date (term:: * -> *) where
 
 instance Sym_Date Eval where