diff options
| author | Kathy Gray | 2014-08-21 16:04:26 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-21 16:04:26 +0100 |
| commit | c85cd3a93298736a30ceefaffd34c3a77848a226 (patch) | |
| tree | 6adba549ba36d3fbdd2cf4dbb5f722112e1e0634 /src/lem_interp/interp_interface.lem | |
| parent | f1654650da9a85a903cd2a316cd34531f37cbf60 (diff) | |
Improve printing of function calls in stepper mode
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 684257f6..d49edfd5 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -48,7 +48,7 @@ type outcome = (* List of instruciton states to be run in parrallel, any order permitted *) | Nondet_choice of list instruction_state * instruction_state (* Stop for incremental stepping, function can be used to display function call data *) -| Internal of (unit -> string) * instruction_state +| Internal of maybe string * maybe (unit -> string) * instruction_state | Done | Error of string |