diff --git a/cbmc b/cbmc
index b826985..b03e837 100755
--- a/cbmc
+++ b/cbmc
@@ -83,7 +83,7 @@ ulimit -v 15000000 ; \
 EC=42 ; \
 for c in 2 6 12 17 21 40 200 400 1025 2049 268435456 ; do \
   echo "Unwind: $c" > $LOG.latest ; \
-  ./cbmc-binary --graphml-cex $LOG.cex --unwind $c --stop-on-fail $BIT_WIDTH $PROPERTY --function $ENTRY $BM >> $LOG.latest 2>&1 ; \
+  ./cbmc-binary --graphml-witness $LOG.cex --unwind $c --stop-on-fail $BIT_WIDTH $PROPERTY --function $ENTRY $BM >> $LOG.latest 2>&1 ; \
   ec=$? ; \
   if [ $ec -eq 0 ] ; then \
     if ! tail -n 10 $LOG.latest | grep -q "^VERIFICATION SUCCESSFUL$" ; then ec=1 ; fi ; \