From 27d4abc1c11127eeae42c548dc142e1ffcd35dc0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 9 May 2012 08:53:10 -0400
Subject: In incremental elaboration, handle invalidated FFI signatures

---
 src/mod_db.sml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/mod_db.sml b/src/mod_db.sml
index 5e9e3342..6c89c114 100644
--- a/src/mod_db.sml
+++ b/src/mod_db.sml
@@ -109,6 +109,9 @@ fun insert (d, tm) =
                                                                         DStr (_, n', _, _) =>
                                                                         (byId := #1 (IM.remove (!byId, n'));
                                                                          false)
+                                                                      | DFfiStr (_, n', _) =>
+                                                                        (byId := #1 (IM.remove (!byId, n'));
+                                                                         false)
                                                                       | _ => raise Fail "ModDb: Impossible decl"
                                                                 else
                                                                     true) (!byName),
-- 
cgit v1.2.3