minor update

lean-dojo · Jun 29, 2024 · 5054223 · 5054223
1 parent fe8841b
commit 5054223
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/prover/evaluate.py b/prover/evaluate.py
@@ -68,6 +68,7 @@ def _get_theorems_from_files(
         positions.append(Pos(*t["start"]))
 
     # Jointly sort theorems and positions
+    assert len(theorems) > 0
     theorems_and_positions = list(zip(theorems, positions))
     theorems_and_positions.sort(
         key=lambda x: hashlib.md5(