From c71de1db0cf31466bfc5fe7e96021e5d3cba6979 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 18 Dec 2010 10:56:31 -0500
Subject: postBody type

---
 src/export.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/export.sig')

diff --git a/src/export.sig b/src/export.sig
index 0bbdd1ac..9bcfa0d4 100644
--- a/src/export.sig
+++ b/src/export.sig
@@ -36,6 +36,7 @@ datatype export_kind =
          Link
        | Action of effect
        | Rpc of effect
+       | Extern of effect
 
 val p_effect : effect Print.printer
 val p_export_kind : export_kind Print.printer
-- 
cgit v1.2.3