From 3eaa823c622af1b3101b41be9560a0eebe18a0a8 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 15 Jun 2017 18:42:20 -0400
Subject: Revert "Add -compat 8.6 to _CoqProject"

This reverts commit 131f341f368b606fd50b57f135e602e40e132b46.
---
 Makefile    | 2 +-
 _CoqProject | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 8ff62ae87..4f4f8064f 100644
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,7 @@ endif
 
 update-_CoqProject::
 	$(SHOW)'ECHO > _CoqProject'
-	$(HIDE)(echo '-R $(SRC_DIR) $(MOD_NAME)'; echo '-R Bedrock Bedrock'; echo '-arg "-compat 8.6"'; (git ls-files 'src/*.v' 'Bedrock/*.v' | $(SORT_COQPROJECT))) > _CoqProject
+	$(HIDE)(echo '-R $(SRC_DIR) $(MOD_NAME)'; echo '-R Bedrock Bedrock'; (git ls-files 'src/*.v' 'Bedrock/*.v' | $(SORT_COQPROJECT))) > _CoqProject
 
 $(VOFILES): | coqprime
 
diff --git a/_CoqProject b/_CoqProject
index 10fcc852f..54615d4e6 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,6 +1,5 @@
 -R src Crypto
 -R Bedrock Bedrock
--arg "-compat 8.6"
 Bedrock/Nomega.v
 Bedrock/Word.v
 src/Demo.v
-- 
cgit v1.2.3