From 819838e9200d44d07f49c6b2428cfce1c17f07e6 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Tue, 22 May 2012 23:53:24 +0100
Subject: Boogie: document /typeEncoding:m

---
 Source/Core/CommandLineOptions.cs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 3e7fd79e..35ceeeae 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -1559,6 +1559,7 @@ namespace Microsoft.Boogie {
                    n = none (unsound)
                    p = predicates (default)
                    a = arguments
+                   m = monomorphic
   /monomorphize   
                 Do not abstract map types in the encoding (this is an
                 experimental feature that will not do the right thing if
-- 
cgit v1.2.3