diff --git a/test/pgm_outputs/multiple_solvers.py.out b/test/pgm_outputs/multiple_solvers.py.out
index fbc8671..9261ef4 100644
--- a/test/pgm_outputs/multiple_solvers.py.out
+++ b/test/pgm_outputs/multiple_solvers.py.out
@@ -1,9 +1,9 @@
 [x = 0, y = 0]
 sat
 0
-The logic was specified as QF_BV, which doesn't include THEORY_ARITH, but got a theory atom for that theory.
-The atom:
-(= x (* 2 y))
+The logic was specified as QF_BV, which doesn't include THEORY_ARITH, but got a preprocessing-time term for that theory.
+The term:
+(* 2 y)
 Can't solve integer problems with QF_BV solver
 got an exception, which is good
 unsat