Whitespace fix

hj424 · Dec 7, 2020 · 0e1b4f5 · 0e1b4f5
1 parent 5bc4d60
commit 0e1b4f5
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/bril-ts/brili.ts b/bril-ts/brili.ts
@@ -728,8 +728,8 @@ function evalFunc(func: bril.Function, state: State): Value | null {
       }
       case 'speculate': {
         // Begin speculation.
-	state.specparent = {...state};
-	state.env = new Map(state.env);
+        state.specparent = {...state};
+        state.env = new Map(state.env);
         break;
       }
       case 'commit': {
@@ -745,10 +745,10 @@ function evalFunc(func: bril.Function, state: State): Value | null {
         if (!state.specparent) {
           throw error(`abort in non-speculative state`);
         }
-	state.env = state.specparent.env;
-	state.lastlabel = state.specparent.lastlabel;
-	state.curlabel = state.specparent.curlabel;
-	state.specparent = state.specparent.specparent;
+        state.env = state.specparent.env;
+        state.lastlabel = state.specparent.lastlabel;
+        state.curlabel = state.specparent.curlabel;
+        state.specparent = state.specparent.specparent;
         break;
       }
       case 'next':