Commit 7f8f4a1b authored by MARCHE Claude's avatar MARCHE Claude

defunct: tres petit detail

parent 6447d93a
......@@ -99,10 +99,7 @@ holds.
function eval_0 (e:expr) : int =
match e with
| Cte n -> n
| Sub e1 e2 ->
let v1 = eval_0 e1 in
let v2 = eval_0 e2 in
v1 - v2
| Sub e1 e2 -> eval_0 e1 - eval_0 e2
end
function interpret_0 (p:prog) : int = eval_0 p
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment