fix

h0nzZik · Mar 12, 2024 · 699cb23 · 699cb23
1 parent 5c62d1f
commit 699cb23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/minuska/theories/varsof.v b/minuska/theories/varsof.v
@@ -186,6 +186,6 @@ Instance VarsOf_MinusL_LangDef
     (Act : Set)
     : VarsOf (MinusL_LangDef Act) variable
 := {|
-    vars_of := fun D => union_list (vars_of <$> (mlld_decls D)) ; 
+    vars_of := fun D => union_list (vars_of <$> (mlld_decls Act D)) ; 
 |}.