From 652ca797f5c9de9adc198df0c0e8a706807328a6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 31 Aug 2008 09:00:28 -0400 Subject: Corify tables --- src/monoize.sml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/monoize.sml') diff --git a/src/monoize.sml b/src/monoize.sml index ba9c2087..9142e63c 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -809,6 +809,7 @@ fun monoDecl (env, fm) (all as (d, loc)) = in SOME (env, fm, (L'.DExport (ek, s, n, ts), loc)) end + | L.DTable _ => raise Fail "Monoize DTable" end fun monoize env ds = -- cgit v1.2.3