diff --git a/cbmc.inc b/cbmc.inc
index 6cd8d35..3fdb101 100644
--- a/cbmc.inc
+++ b/cbmc.inc
@@ -31,4 +31,5 @@ esac ; \
 \
 done \
 '
+  eval `tail -n 1 $LOG.ok`
 }
diff --git a/tool-wrapper.inc b/tool-wrapper.inc
index d186aac..9083239 100755
--- a/tool-wrapper.inc
+++ b/tool-wrapper.inc
@@ -119,7 +119,6 @@ if [ ! -s $LOG.ok ] ; then
   exit 1
 fi
 
-eval `tail -n 1 $LOG.ok`
 cat $LOG.ok
 case $EC in
   0) if [[ "$WITNESS_FILE" != "" ]]; then process_graphml $EC > $WITNESS_FILE; \