From ae494cac4389a07a6feef73a084e2db7ccb84e22 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 31 Jul 2008 10:44:52 -0400
Subject: Patterns for int and string constants

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

(limited to 'src/elab_print.sml')

diff --git a/src/elab_print.sml b/src/elab_print.sml
index 7e13c116..0e7fe7d7 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -215,6 +215,7 @@ fun p_pat' par env (p, _) =
     case p of
         PWild => string "_"
       | PVar s => string s
+      | PPrim p => Prim.p_t p
       | PCon (pc, NONE) => p_patCon env pc
       | PCon (pc, SOME p) => parenIf par (box [p_patCon env pc,
                                                space,
-- 
cgit v1.2.3