From 6cd54063f1fa6fa966eea2f7613ad5c720fff279 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 27 Sep 2017 15:13:02 +0100
Subject: Fixed command line flag naming

---
 src/sail.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/sail.ml b/src/sail.ml
index b63f807c..2270e1ef 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -115,7 +115,7 @@ let options = Arg.align ([
   ( "-no_effects",
     Arg.Set Type_check.opt_no_effects,
     " turn off effect checking");
-  ( "-undefined-gen",
+  ( "-undefined_gen",
     Arg.Set Initial_check.opt_undefined_gen,
     " generate undefined_type functions for types in the specification");
   ( "-v",
-- 
cgit v1.2.3