diff options
Diffstat (limited to 'src/extraction/zchaff_checker.ml')
| -rw-r--r-- | src/extraction/zchaff_checker.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/extraction/zchaff_checker.ml b/src/extraction/zchaff_checker.ml index 60d0a38..eb28fe8 100644 --- a/src/extraction/zchaff_checker.ml +++ b/src/extraction/zchaff_checker.ml @@ -54,7 +54,7 @@ let to_coq to_lit (cstep, cTrue, cFalse, cBuildDef, cBuildDef2, cBuildProj, cImmBuildProj,cImmBuildDef,cImmBuildDef2, cEqTr, cEqCgr, cEqCgrP, - cLiaMicromega, cLiaDiseq, cSplArith, cSplDistinctElim) confl = + cLiaMicromega, cLiaDiseq, cSplArith, cSplDistinctElim, cHole) confl = let step_to_coq c = match c.kind with | Res res -> |