@@ -1,5 +1,4 @@
open Globals
-open Ast
open Type
open PlatformConfig
open Error
@@ -17,7 +17,6 @@
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
*)
open Common
open Typecore
@@ -1,6 +1,5 @@
-open SafeCom
open Ast
let check_local_vars_init scom e =
-open Typecore
type lscontext = {
@@ -1669,7 +1669,6 @@ let decode_path v =
(pack,name)
let decode_platform_config v =
- let open Common in
let capture_policy = match decode_enum (field v "capturePolicy") with
| 0, [] -> CPNone
| 1, [] -> CPWrapRef
@@ -20,7 +20,6 @@
-open Common
open AnalyzerConfig
open AnalyzerTypes
open AnalyzerTypes.BasicBlock
@@ -18,7 +18,6 @@
open SafeCom
open OptimizerTexpr