remove unused parameter from quad tree

This commit is contained in:
2025-07-06 13:23:14 +01:00
parent 0bdf5064d8
commit 1ce3a36db4
2 changed files with 2 additions and 1 deletions

View File

@@ -225,7 +225,7 @@ struct
foldWithDuplicates (f, br, acc)
end
fun insertItemIntoTree ignoreData (item, acc) =
fun insertItemIntoTree (item, acc) =
if #data item = 0 then
(* ignore specific data by not inserting it into tree.
* May later functorise this quad tree,

View File

@@ -19,5 +19,6 @@ message-types/file-msg.sml
message-types/input-msg.sml
message-types/update-msg.sml
fcore/quad-tree.sml
fcore/app-update.sml