From 4186a297db7f5cf783cf7a080c65a4561bb0d5c8 Mon Sep 17 00:00:00 2001 From: Gregory Malecha Date: Thu, 17 Mar 2016 10:01:02 -0700 Subject: [PATCH] changing path to SMTC --- _CoqProject | 2 +- test-suite/Test.v | 2 +- test-suite/_CoqProject | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/_CoqProject b/_CoqProject index 1cba5d2..a308f00 100644 --- 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 index 96f7a1f..bafd086 100644 --- 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 index 14219e0..82baafc 100644 --- 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/