The error message is
pcal.trans Version 1.8 of 16 May 2016
Unrecoverable error:
-- Expected "end" but found "if"
line 10, column 18.
---- MODULE manual ----
EXTENDS Integers, TLC
(* --algorithm manual
variables x = 5, a \in BOOLEAN;
define
(* IsEven(x) == if x % 2 = 0 then TRUE end if; *)
IsEven(x) == if x % 2 = 0 then TRUE end if;
end define;
begin
x := 3;
a := TRUE;
(* print IsEven(2); *)
end algorithm; *)
\* BEGIN TRANSLATION
VARIABLES x, a, pc
(* define statement *)
IsEven(x) == TRUE
vars == << x, a, pc >>
Init == (* Global variables *)
/\ x = 5
/\ a \in BOOLEAN
/\ pc = "Lbl_1"
Lbl_1 == /\ pc = "Lbl_1"
/\ x' = 3
/\ a' = TRUE
/\ pc' = "Done"
Next == Lbl_1
\/ (* Disjunct to prevent deadlock on termination *)
(pc = "Done" /\ UNCHANGED vars)
Spec == Init /\ [][Next]_vars
Termination == <>(pc = "Done")
\* END TRANSLATION
====