diff options
Diffstat (limited to 'tools/ocaml/xenstored/perms.ml')
| -rw-r--r-- | tools/ocaml/xenstored/perms.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/ocaml/xenstored/perms.ml b/tools/ocaml/xenstored/perms.ml index 0462d5378a..70282c3862 100644 --- a/tools/ocaml/xenstored/perms.ml +++ b/tools/ocaml/xenstored/perms.ml @@ -43,9 +43,9 @@ struct type t = { - owner: Xc.domid; + owner: Xenctrl.domid; other: permty; - acl: (Xc.domid * permty) list; + acl: (Xenctrl.domid * permty) list; } let create owner other acl = @@ -88,7 +88,7 @@ end module Connection = struct -type elt = Xc.domid * (permty list) +type elt = Xenctrl.domid * (permty list) type t = { main: elt; target: elt option; } |