From ace7b32fe420234575ad7564f64c76309e3a74b3 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 25 Feb 2021 15:01:43 +0000
Subject: Remove accidental use of too-recent Option module Also drop a related
 bit of dead code

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

(limited to 'src/sail.ml')

diff --git a/src/sail.ml b/src/sail.ml
index 00bff679..60dbc7ab 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -635,7 +635,7 @@ let main () =
 
       let ast, type_envs =
         if !opt_infer_effects then
-          let ast = Spec_analysis.infer_effects (Option.value !opt_target ~default:"") ast in
+          let ast = Spec_analysis.infer_effects ast in
           let _ = if reset_effect_checking then Type_check.opt_no_effects := true in
           Type_error.check Type_check.initial_env ast
         else ast, type_envs
-- 
cgit v1.2.3