Skip to content
Snippets Groups Projects
Commit c9b29056 authored by Martin Bodin's avatar Martin Bodin Committed by Thomas Wood
Browse files

Syntax error :-)

parent c716fc4a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
interp.js
+ 2
− 2
View file @ c9b29056
...@@ -213,7 +213,7 @@ function run_trm(t) { ...@@ -213,7 +213,7 @@ function run_trm(t) {
var res = run_trm(t.t2); var res = run_trm(t.t2);
env_pop(); env_pop();
return res; return res;
} });
case "trm_alloc": case "trm_alloc":
return if_success(t.arg, function(arg) { return if_success(t.arg, function(arg) {
var loc = heap_alloc(arg); var loc = heap_alloc(arg);
...@@ -319,4 +319,4 @@ Definition run_trm R m t : result := ...@@ -319,4 +319,4 @@ Definition run_trm R m t : result :=
let B := (beh_exn constr_matching_failure) in let B := (beh_exn constr_matching_failure) in
runs_branches R m B v1 bs) runs_branches R m B v1 bs)
| trm_abort | trm_abort
*/ */
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment