From 32115a531d5ed6cafa25dc7d3b88c2679e5142a5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 12:27:08 -0400
Subject: Primitive type constants

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

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index 05b2973f..9b0e2a07 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -62,6 +62,7 @@ withtype con = con' located
 datatype exp' =
          EAnnot of exp * con
 
+       | EPrim of Prim.t
        | EVar of string
        | EApp of exp * exp
        | EAbs of string * con option * exp
-- 
cgit v1.2.3