extraction must be done from the toplevel

palmskog · palmskog · commit c0ee1963ef7c · 2018-09-09T12:50:14.000-05:00
diff --git a/Examples/Make b/Examples/Make
@@ -1,7 +1,6 @@
 -Q . DiSeL
 -arg "-w -notation-overridden,-local-declaration,-redundant-canonical-projection,-projection-no-head-constant"
 
-Calculator/CalculatorExtraction.v
 Calculator/CalculatorInvariant.v
 Calculator/DelegatingCalculatorServer.v
 Calculator/SimpleCalculatorServers.v
@@ -17,7 +16,6 @@ TwoPhaseCommit/TwoPhaseInductiveInv.v
 TwoPhaseCommit/TwoPhaseClient.v
 TwoPhaseCommit/TwoPhaseInductiveProof.v
 TwoPhaseCommit/TwoPhaseParticipant.v
-TwoPhaseCommit/TwoPhaseExtraction.v
 TwoPhaseCommit/TwoPhaseProtocol.v
 TwoPhaseCommit/TwoPhaseCoordinator.v
 Greeter/Greeter.v
