From 70f51b278627d5bc3370ee80520969851a234eab Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 12 Sep 2012 18:02:59 +0200
Subject: [PATCH] * src/tgbatest/wdba2.test: Adjust to yesterday's change to
 -kt.

---
 src/tgbatest/wdba2.test | 1 +
 1 file changed, 1 insertion(+)

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