1 files changed, 3 insertions, 3 deletions
diff --git a/Source/VCGeneration/VCDoomed.cs b/Source/VCGeneration/VCDoomed.cs
index 12543cd5..c1547009 100644
--- a/Source/VCGeneration/VCDoomed.cs
+++ b/Source/VCGeneration/VCDoomed.cs
@@ -283,9 +283,9 @@ namespace VC {
     ///
     /// </summary>
     public override Outcome VerifyImplementation(Implementation impl, Program program, VerifierCallback callback) {
-      Contract.Requires(impl != null);
-      Contract.Requires(program != null);
-      Contract.Requires(callback != null);
+      //Contract.Requires(impl != null);
+      //Contract.Requires(program != null);
+      //Contract.Requires(callback != null);
       Contract.EnsuresOnThrow<UnexpectedProverOutputException>(true);
 
       UseItAsDebugger = CommandLineOptions.Clo.useDoomDebug;