diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/mod_db.sml | 3 |
1 files changed, 3 insertions, 0 deletions
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), |