generate: no need to dedup anymore

DMOJ · Mar 15, 2024 · a06eb67 · a06eb67
1 parent b90471d
commit a06eb67
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/generate.py b/generate.py
@@ -37,7 +37,6 @@ def get_functions():
                 if match:
                     xmm_usage[file].add(int(match.group(1)))
 
-    functions = list(set(functions))
     functions.sort()
     return functions, function_xmm