diff --git a/src/pins25/common/Token.java b/src/pins25/common/Token.java
index 2685303..ca10c32 100644
--- a/src/pins25/common/Token.java
+++ b/src/pins25/common/Token.java
@@ -69,6 +69,10 @@ public record Token(Report.Location location, Symbol symbol, String lexeme) impl
          * Kljucna beseda {@code in}.
          */
         IN,
+        /**
+         * Kljucna beseda {@code times}.
+         */
+        TIMES,
         /**
          * Kljucna beseda {@code end}.
          */
diff --git a/src/pins25/phase/LexAn.java b/src/pins25/phase/LexAn.java
index 888f692..2c36bf6 100644
--- a/src/pins25/phase/LexAn.java
+++ b/src/pins25/phase/LexAn.java
@@ -319,6 +319,7 @@ public class LexAn implements AutoCloseable {
             case "let" -> Token.Symbol.LET;
             case "in" -> Token.Symbol.IN;
             case "end" -> Token.Symbol.END;
+            case "times" -> Token.Symbol.TIMES;
             default -> null;
         };
     }
diff --git a/src/pins25/phase/SynAn.java b/src/pins25/phase/SynAn.java
index e4f2304..ee06a9f 100644
--- a/src/pins25/phase/SynAn.java
+++ b/src/pins25/phase/SynAn.java
@@ -360,9 +360,9 @@ public class SynAn implements AutoCloseable {
 
     private AST.AtomExpr parseIntegerConstantMultiplier() {
         Token token = lexAn.peekToken();
-        if (token.symbol() == Token.Symbol.MUL) {
-            // intconstmult -> MUL const
-            check(Token.Symbol.MUL);
+        if (token.symbol() == Token.Symbol.TIMES) {
+            // intconstmult -> TIMES const
+            check(Token.Symbol.TIMES);
             return parseConstant();
         }
         // intconstmult -> ε