hotfix listarg

sr-lab · Oct 4, 2024 · aee61b7 · aee61b7
1 parent 441b1e6
commit aee61b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coqpyt/coq/context.py b/coqpyt/coq/context.py
@@ -326,7 +326,7 @@ def handle_arg_type(args, ids):
                     return ids[0][1][1]
                 elif args[1] == "ident":
                     return ids[1]
-            elif args[0] == "ListArg":
+            elif args[0] == "ListArg" and len(ids) > 0:
                 # FIXME: This recursive case works when the list is of length 1,
                 # but it should be generalized to handle any length.
                 return handle_arg_type(args[1], ids[0])