From a03dda71ff004c7a2b02654d96887609ef11d9fa Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 6 Feb 2017 14:04:29 +0100 Subject: Remove open AST. The two types needed from AST are prefixed directly. --- debug/DebugInformation.mli | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'debug') diff --git a/debug/DebugInformation.mli b/debug/DebugInformation.mli index 66c4cd11..a5d1f806 100644 --- a/debug/DebugInformation.mli +++ b/debug/DebugInformation.mli @@ -10,9 +10,8 @@ (* *) (* *********************************************************************) -open AST open BinNums -open !C +open C open Camlcoq open DebugTypes open Sections @@ -79,11 +78,11 @@ val open_scope: atom -> int -> positive -> unit val close_scope: atom -> int -> positive -> unit -val start_live_range: (atom * atom) -> positive -> (int * int builtin_arg) -> unit +val start_live_range: (atom * atom) -> positive -> (int * int AST.builtin_arg) -> unit val end_live_range: (atom * atom) -> positive -> unit -val stack_variable: (atom * atom) -> int * int builtin_arg -> unit +val stack_variable: (atom * atom) -> int * int AST.builtin_arg -> unit val add_label: atom -> positive -> int -> unit -- cgit