diff options
| -rw-r--r-- | _CoqProject | 2 | ||||
| -rw-r--r-- | src/Util/SideConditions/Autosolve.v (renamed from src/Specific/Framework/SideConditionFramework.v) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index fecae0fc5..2735dd02a 100644 --- a/_CoqProject +++ b/_CoqProject @@ -272,7 +272,6 @@ src/Specific/Framework/Packages.v src/Specific/Framework/RawCurveParameters.v src/Specific/Framework/ReificationTypes.v src/Specific/Framework/ReificationTypesPackage.v -src/Specific/Framework/SideConditionFramework.v src/Specific/Framework/SynthesisFramework.v src/Specific/Framework/ArithmeticSynthesis/Base.v src/Specific/Framework/ArithmeticSynthesis/BasePackage.v @@ -4189,6 +4188,7 @@ src/Util/ForLoop/Tests.v src/Util/ForLoop/Unrolling.v src/Util/ListUtil/FoldBool.v src/Util/Logic/ImplAnd.v +src/Util/SideConditions/Autosolve.v src/Util/Sigma/Associativity.v src/Util/Sigma/Lift.v src/Util/Sigma/MapProjections.v diff --git a/src/Specific/Framework/SideConditionFramework.v b/src/Util/SideConditions/Autosolve.v index 86bd21860..86bd21860 100644 --- a/src/Specific/Framework/SideConditionFramework.v +++ b/src/Util/SideConditions/Autosolve.v |