From e9456cb231725d65a9cdd11dc3d4549fe7254e06 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 Aug 2008 14:45:23 -0400
Subject: Explifying type classes

---
 src/elab.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index ec8a811d..10f9bba6 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -150,6 +150,7 @@ datatype decl' =
        | DConstraint of con * con
        | DExport of int * sgn * str
        | DTable of int * string * int * con
+       | DClass of string * int * con
 
      and str' =
          StrConst of decl list
-- 
cgit v1.2.3