Changeset 3830 for applications/trunk/UGPSummerSchool2008/src/Palindrome.rf

Timestamp:

Jun 28, 2008, 12:44:11 AM (13 years ago)

Author:

orlov

Message:

 

File:

• applications/trunk/UGPSummerSchool2008/src/Palindrome.rf (modified) (1 diff)

applications/trunk/UGPSummerSchool2008/src/Palindrome.rf

@@ -7 +7 @@
 IsPalindrome \{
         /*empty*/ = ;
+        t = ;
         t1 e2 t1 = <IsPalindrome e2>;
 };