PPPredicateObjectParser.st
changeset 380 8fe3cb4e607f
parent 377 6112a403a52d
child 387 e2b2ccaa4de6
--- a/PPPredicateObjectParser.st	Fri Oct 03 03:11:33 2014 +0100
+++ b/PPPredicateObjectParser.st	Sun Oct 05 00:05:20 2014 +0100
@@ -42,7 +42,9 @@
 !
 
 cr
-	^ self char: Character cr message: 'carriage return expected'
+        ^ self char: (Character codePoint: 13) message: 'carriage return expected'
+
+    "Modified: / 03-10-2014 / 23:56:14 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 digit
@@ -71,7 +73,9 @@
 !
 
 newline
-	^ self chars: (String with: Character cr with: Character lf) message: 'newline expected'
+        ^ self chars: (String with: (Character codePoint: 13) with: (Character codePoint: 10)) message: 'newline expected'
+
+    "Modified: / 03-10-2014 / 23:56:27 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 punctuation