diff options
Diffstat (limited to 'library/states.ml')
-rw-r--r-- | library/states.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/states.ml b/library/states.ml index 200b14517..de03ca7c0 100644 --- a/library/states.ml +++ b/library/states.ml @@ -11,6 +11,8 @@ open System type state = Lib.frozen * Summary.frozen +let summary_of_state = snd + let freeze ~marshallable = (Lib.freeze ~marshallable, Summary.freeze_summaries ~marshallable) |