Remove unnecessary debug

viperproject · Dec 7, 2023 · 67469be · 67469be
1 parent d1825c3
commit 67469be
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/prusti-viper/src/encoder/mir/pure/pure_functions/encoder_poly.rs b/prusti-viper/src/encoder/mir/pure/pure_functions/encoder_poly.rs
@@ -543,8 +543,6 @@ impl<'p, 'v: 'p, 'tcx: 'v> PureFunctionEncoder<'p, 'v, 'tcx> {
         let encoded_return = self.encode_local(contract.returned_value.into())?;
         debug!("encoded_return: {:?}", encoded_return);
 
-        eprintln!("IN IT");
-
         for (assertion, assertion_substs) in
             contract.functional_postcondition(self.encoder.env(), self.substs)
         {