diff options
Diffstat (limited to 'Binaries/DafnyPrelude.bpl')
-rw-r--r-- | Binaries/DafnyPrelude.bpl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Binaries/DafnyPrelude.bpl b/Binaries/DafnyPrelude.bpl index 476a6bd9..5675d2a1 100644 --- a/Binaries/DafnyPrelude.bpl +++ b/Binaries/DafnyPrelude.bpl @@ -4,6 +4,9 @@ // Edited sequence axioms 20 October 2009 by Alex Summers.
// Copyright (c) 2008-2010, Microsoft.
+const $$Language$Dafny: bool; // To be recognizable to the ModelViewer as
+axiom $$Language$Dafny; // coming from a Dafny program.
+
// ---------------------------------------------------------------
// -- References -------------------------------------------------
// ---------------------------------------------------------------
|