diff options
| author | Kathy Gray | 2014-05-28 13:19:59 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-05-28 13:19:59 +0100 |
| commit | 4902a0b818d68b8fd38c766c7269c8364bd3b0f9 (patch) | |
| tree | dfd392222d2c2d4b27a435dd3d4eeb2de44a0454 /src | |
| parent | 1b8a1033ae5f1e5741896476b3cdf4561de978ca (diff) | |
correct mismatched parens didn't mean to commit...
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/run_interp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml index df45a373..45768966 100644 --- a/src/lem_interp/run_interp.ml +++ b/src/lem_interp/run_interp.ml @@ -231,5 +231,5 @@ let run with e -> let trace = Printexc.get_backtrace () in debugf "%s: interpretor error %s\n%s\n" name (Printexc.to_string e) trace; - false, (reg, mem + false, (reg, mem) ;; |