changing path to SMTC

gmalecha · Mar 17, 2016 · 4186a29 · 4186a29
1 parent 1580bc1
commit 4186a29
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -1,5 +1,5 @@
 -I src
--Q theories SMT
+-Q theories SMTC
 
 -I $(COQLIB)/user-contrib/PluginUtils/
 

diff --git a/test-suite/Test.v b/test-suite/Test.v
@@ -1,4 +1,4 @@
-Require Import SMT.Tactic.
+Require Import SMTC.Tactic.
 Require Import Coq.Strings.String.
 Require Import Coq.Reals.Rdefinitions.
 Require Import Coq.Reals.RIneq.

diff --git a/test-suite/_CoqProject b/test-suite/_CoqProject
@@ -1,5 +1,5 @@
 -I ../src
--Q ../theories SMT
+-Q ../theories SMTC
 -R .
 
 -I $(COQLIB)/user-contrib/PluginUtils/