diff options
Diffstat (limited to 'examples/tutorial/calculator/CalculatorC.gf')
| -rw-r--r-- | examples/tutorial/calculator/CalculatorC.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/tutorial/calculator/CalculatorC.gf b/examples/tutorial/calculator/CalculatorC.gf index e36c28e3f..53eade357 100644 --- a/examples/tutorial/calculator/CalculatorC.gf +++ b/examples/tutorial/calculator/CalculatorC.gf @@ -10,7 +10,7 @@ concrete CalculatorC of Calculator = open Prelude, Formal in { lin PEmpty = ss [] ; - PDecl exp prog = ss ("int" ++ prog.$0 ++ "=" ++ top exp ++ ";" ++ prog.s) ; + PInit exp prog = ss ("int" ++ prog.$0 ++ "=" ++ top exp ++ ";" ++ prog.s) ; PAss vr exp prog = ss (vr.s ++ "=" ++ top exp ++ ";" ++ prog.s) ; EPlus = infixl 0 "+" ; |