Skip to content

Commit

Permalink
wip
Browse files Browse the repository at this point in the history
  • Loading branch information
@fblanqui
fblanqui committed Jan 20, 2025
1 parent 4f4ffbb commit d0d4f0a
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,6 @@ sig: $(BASE_FILES:%=%.vo)
include deps.mk
theory_hol.vo: $(VOFILES)
$(BASE)_types.vo: theory_hol.vo
$(BASE)_type_abbrevs: $(BASE)_types.vo
$(BASE)_terms: $(BASE)_type_abbrevs.vo
$(BASE)_axioms: $(BASE)_terms.vo

Expand Down

0 comments on commit d0d4f0a

Please sign in to comment.