--- a/pre_marking3/postfix.scala	Fri Jan 15 02:47:51 2021 +0000
+++ b/pre_marking3/postfix.scala	Mon Jan 18 22:12:39 2021 +0000
@@ -2,7 +2,7 @@
 // by Edsger Dijkstra
 // ========================
 
-object CW9a {
+object CW8a {
 
 type Toks = List[String]