From f996ddede8ad8df6a6b475185b5384366f0dd6c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 2 May 2009 12:10:43 -0400
Subject: More FFI compiler options

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

(limited to 'src/demo.sml')

diff --git a/src/demo.sml b/src/demo.sml
index 9fa08021..0b7f3345 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -98,6 +98,7 @@ fun make {prefix, dirname, guided} =
             ffi = [],
             link = [],
             headers = [],
+            scripts = [],
             clientToServer = [],
             effectful = [],
             clientOnly = [],
-- 
cgit v1.2.3