From 291e80d252b476870ab01becfb9cd60b885f4e53 Mon Sep 17 00:00:00 2001
From: jadep <jadep@mit.edu>
Date: Tue, 2 Apr 2019 07:49:39 -0400
Subject: fix Makefile (old Arithmetic.v was hardcoded as a target)

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 62b318f29..42556fcf3 100644
--- a/Makefile
+++ b/Makefile
@@ -60,7 +60,7 @@ REGULAR_VOFILES := $(filter-out $(SPECIAL_VOFILES),$(VOFILES))
 PRE_STANDALONE_PRE_VOFILES := $(filter src/Standalone%.vo,$(REGULAR_VOFILES))
 UTIL_PRE_VOFILES := $(filter bbv/%.vo src/Algebra/%.vo src/Tactics/%.vo src/Util/%.vo,$(REGULAR_VOFILES))
 SOME_EARLY_VOFILES := \
-  src/Arithmetic.vo \
+  src/Arithmetic/Core.vo \
   src/Rewriter.vo
 
 # computing the vo_reverse_closure is slow, so we only do it if we're
-- 
cgit v1.2.3