fixed compile in Presentations test

AlgebraicJulia · Sep 19, 2023 · b9a5b88 · b9a5b88
1 parent a282b87
commit b9a5b88
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/syntax/Presentations.jl b/test/syntax/Presentations.jl
@@ -49,7 +49,7 @@ end
 t = fromexpr(Z, :(i(a) ⋅ (2::default)), AlgTerm)
 a = ident(Z; name=:a)
 
-@test compile(ThGroup, Dict(Reference(a) => :a), t) == :($(ThGroup).:(⋅)($(ThGroup).i(a), 2))
+@test compile(Dict(Reference(a) => :a), t; theorymodule=ThGroup) == :($(ThGroup).:(⋅)($(ThGroup).i(a), 2))
 
 @present D₄(ThGroup) begin
   (r,f) :: default