Commit 13921d03 authored by David Hauzar's avatar David Hauzar
Browse files

Displaying references in counterexamples.

In why3, references are internally stored in the record ref with one
field content (containing the value that is referenced). Disable
displaying the name of the field content of record ref in counterexamples.
parent 13fdd091
......@@ -13,7 +13,7 @@
module Ref
type ref 'a = { mutable contents : 'a }
type ref 'a = { mutable contents "model_trace:" : 'a }
function (!) (x: ref 'a) : 'a = x.contents
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment