rebase main

ufmg-smite · May 13, 2024 · 7d23582 · 7d23582
1 parent 9f68d8d
commit 7d23582
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/Smt/Reconstruct/Rewrite.lean b/Smt/Reconstruct/Rewrite.lean
@@ -93,12 +93,10 @@ def smtRw (mv : MVarId) (op : Expr) (assoc : Expr) (null : Expr) (nullr1 : Expr)
   let mut mv' := mv'
   let mut fv := fv
   (fv, mv') ← simpLocalDeclRw mv' fv (.fvar fv2)
-  logInfo m!"now1: {mv'}"
   mv'.withContext do
   let mut mv' := mv'
   let mut fv := fv
   (fv, mv') ← simpLocalDeclRw mv' fv (.fvar fv4)
-  logInfo m!"now2: {mv'}"
   mv'.withContext do
   let mut mv' := mv'
   let mut fv := fv