# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1336567990 14400
# Node ID b6c4b34847528569b53f9f9abaa9b7a18802f71c
# Parent  f69174d0abc0d2746a2c44d92c765844f5b27e84
In incremental elaboration, handle invalidated FFI signatures

diff -r f69174d0abc0 -r b6c4b3484752 src/mod_db.sml
--- a/src/mod_db.sml	Mon May 07 08:16:18 2012 -0400
+++ b/src/mod_db.sml	Wed May 09 08:53:10 2012 -0400
@@ -109,6 +109,9 @@
                                                                         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),