aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 6 Pull Requests 2 Packages Projects Releases 1 Wiki Activity

fix: Bindings in prograde tactics #90

Merged
aniva merged 2 commits from bug/hidden-fvar-in-define into dev 2024-09-03 18:15:58 -07:00
Conversation 0 Commits 2 Files Changed 8 +71 -29

2 Commits

Author SHA1 Message Date
Leni Aniva f8df2599f9
fix: Use `replaceMainGoal` instead of `setGoals` 2024-09-03 14:18:47 -07:00
Leni Aniva 8d2cd6dfc7
fix: Bindings in prograde tactics 2024-09-03 14:15:52 -07:00