diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Values.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index 4585b443..13cd2580 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -65,6 +65,7 @@ type sv_kind = *) | SynthInputGivenBack (** The value was given back upon ending one of the input abstractions *) + | Global (** The value is a global *) [@@deriving show] type symbolic_value = { |