diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-13 00:53:35 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-18 23:01:29 -0400 |
| commit | 9432b854645bb5028a982808581f379c84ce382c (patch) | |
| tree | f767014f2a0823af4db6840e7534883100debd19 /_CoqProject | |
| parent | 0fa367733f893d122bab99d3d0137da742c862f5 (diff) | |
Add final synthesis output type
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index e505f6bb5..5ca2e0de5 100644 --- a/_CoqProject +++ b/_CoqProject @@ -235,6 +235,7 @@ src/Specific/Framework/IntegrationTestDisplayCommonTactics.v src/Specific/Framework/IntegrationTestTemporaryMiscCommon.v src/Specific/Framework/MontgomeryReificationTypes.v src/Specific/Framework/MontgomeryReificationTypesPackage.v +src/Specific/Framework/OutputType.v src/Specific/Framework/Packages.v src/Specific/Framework/RawCurveParameters.v src/Specific/Framework/ReificationTypes.v |