diff --git a/src/tgbatest/wdba2.test b/src/tgbatest/wdba2.test
index 5ac11644f..fb4e7816d 100755
--- a/src/tgbatest/wdba2.test
+++ b/src/tgbatest/wdba2.test
@@ -28,6 +28,7 @@ cat >expected <<EOF
 sub trans.: 16
 transitions: 8
 states: 4
+nondeterministic states: 0
 EOF
 
 # These two equivalent formulae used to produce