From cdee97867540fdfdfc6fa9f2c581eb99204adfcd Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 6 Apr 2017 15:59:28 -0400
Subject: Add IntegrationTest for Sub

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 97b02cb5e..7c9bb012c 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -236,6 +236,7 @@ src/Spec/WeierstrassCurve.v
 src/Specific/GF1305.v
 src/Specific/GF25519.v
 src/Specific/IntegrationTestMul.v
+src/Specific/IntegrationTestSub.v
 src/Specific/NewBaseSystemTest.v
 src/Specific/SC25519.v
 src/Specific/FancyMachine256/Barrett.v
-- 
cgit v1.2.3