Remove QCVellvm reference.

vellvm · Feb 29, 2024 · e852117 · e852117
1 parent 41e3f91
commit e852117
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/ml/extracted/Extract.v b/src/ml/extracted/Extract.v
@@ -28,8 +28,7 @@ From TwoPhase Require
      Transformations.Transform
      Utils.ParserHelper
      QC.ShowAST
-     QC.ReprAST
-     (* QC.QCVellvm *).
+     QC.ReprAST.
 
 Set Extraction AccessOpaque.
 
@@ -106,7 +105,7 @@ Extract Constant randomRN =>
 Extract Constant randomRNat =>
   "(fun (x,y) r -> let yint = ExtrOcamlIntConv.int_of_nat y in let xint = ExtrOcamlIntConv.int_of_nat x in if yint < xint then failwith ""choose called with unordered arguments"" else  (ExtrOcamlIntConv.nat_of_int (xint + (Random.State.int r (yint - xint + 1))), r))".
 
-Separate Extraction TopLevelBigIntptr ExtrOcamlIntConv TopLevel AstLib Transform ParserHelper ShowAST ReprAST Handlers GenAlive2 (* QCVellvm *).
+Separate Extraction TopLevelBigIntptr ExtrOcamlIntConv TopLevel AstLib Transform ParserHelper ShowAST ReprAST Handlers GenAlive2.