diff options
Diffstat (limited to 'src/mod_db.sml')
-rw-r--r-- | src/mod_db.sml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/mod_db.sml b/src/mod_db.sml index fdf6d5ab..57d85195 100644 --- a/src/mod_db.sml +++ b/src/mod_db.sml @@ -214,7 +214,12 @@ fun lookupForTooling name = SOME (#Decl m, List.map (fn a => #Decl a) (List.mapPartial (fn d => SM.find (!byName, d)) - (SS.listItems (#Deps m)))) + (* Clumsy way of adding Basis and Top without adding doubles *) + (["Basis", "Top"] + @ + (List.filter + (fn x => x <> "Basis" andalso x <> "Top") + (SS.listItems (#Deps m)))))) val byNameBackup = ref (!byName) val byIdBackup = ref (!byId) |