diff options
Diffstat (limited to 'tools/ocaml/libs/xl/xl.mli')
-rw-r--r-- | tools/ocaml/libs/xl/xl.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/ocaml/libs/xl/xl.mli b/tools/ocaml/libs/xl/xl.mli index 1b53f9263a..c096ee952b 100644 --- a/tools/ocaml/libs/xl/xl.mli +++ b/tools/ocaml/libs/xl/xl.mli @@ -214,9 +214,6 @@ type sched_credit = cap: int; } -external domain_make : create_info -> domid = "stub_xl_domain_make" -external domain_build : build_info -> domid -> build_state = "stub_xl_domain_build" - type button = | Button_Power | Button_Sleep |