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