From 22f4623195facb4cbc1b50c45c0bd689f6958a9d Mon Sep 17 00:00:00 2001
From: fche <fche>
Date: Sun, 5 Jun 2005 16:41:48 +0000
Subject: next/return symmetry improvement

---
 testsuite/transko/two.stp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'testsuite/transko')

diff --git a/testsuite/transko/two.stp b/testsuite/transko/two.stp
index 69f78b5c..77e1f6d0 100755
--- a/testsuite/transko/two.stp
+++ b/testsuite/transko/two.stp
@@ -8,4 +8,5 @@ probe foo {
   break
   for (a=0; a<10; a=a+1) for (b=0; b<10; b=b+1) ;
   continue
+  return 0
 }
-- 
cgit