diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-12-07 19:03:22 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-12-07 19:03:22 +0100 |
commit | 50e3798575aa7ff0a13a483af23a384dee3d8bb7 (patch) | |
tree | 89178fe5fa17ba573142434d80ea7b5d5275b244 /src/trace/smtMisc.ml | |
parent | b2ce048f6550040eb0dd575c8611085fb3264ed4 (diff) | |
parent | 96cd98b3e04aba915cb36cba39e15a39422ab628 (diff) | |
download | smtcoq-50e3798575aa7ff0a13a483af23a384dee3d8bb7.tar.gz smtcoq-50e3798575aa7ff0a13a483af23a384dee3d8bb7.zip |
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12
Diffstat (limited to 'src/trace/smtMisc.ml')
-rw-r--r-- | src/trace/smtMisc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/smtMisc.ml b/src/trace/smtMisc.ml index 165814b..11eee8a 100644 --- a/src/trace/smtMisc.ml +++ b/src/trace/smtMisc.ml @@ -21,7 +21,7 @@ let mkInt i = ci (** Generic representation of shared object *) -type 'a gen_hashed = { index : int; hval : 'a } +type 'a gen_hashed = { index : int; mutable hval : 'a } (** Functions over constr *) |