diff options
| author | Son Ho | 2022-01-25 21:22:00 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-25 21:22:00 +0100 |
| commit | 761101986fad090b913001f3080026cbf249e58a (patch) | |
| tree | be8e9f087f3ca72c99b669fbf9c366e5e948f62d /src/Values.ml | |
| parent | 123049c07030f0945772a1114c5846f45b2c8e78 (diff) | |
Add a SynthInputGivenBack case in Values.sv_kind
Diffstat (limited to '')
| -rw-r--r-- | src/Values.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Values.ml b/src/Values.ml index 6378269f..95b1bd13 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -66,9 +66,9 @@ type sv_kind = synthesizing returned, and which was given back because we ended one of the lifetimes of this function (we do this to synthesize the backward functions). - - TODO: add a SynthInputGivenBack *) + | SynthInputGivenBack + (** The value was given back upon ending one of the input abstractions *) [@@deriving show] type symbolic_value = { |