Missing comma (evil python)

coq-tactician · Jan 18, 2024 · 18e89c9 · 18e89c9
1 parent 0e65e54
commit 18e89c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pytact/scripts/lemma_distance.py b/pytact/scripts/lemma_distance.py
@@ -18,7 +18,7 @@
     "coq-iris-heap-lang.3.4.0",
     "coq-printf.2.0.0",
     "coq-smtcoq.2.0+8.11",
-    "coq-topology.10.0.1"
+    "coq-topology.10.0.1",
     "coq-haskell.1.0.0",
     "coq-bbv.1.3",
     "coq-poltac.0.8.11",