diff options
Diffstat (limited to 'tools/ocaml/libs/xl/genwrap.py')
| -rw-r--r-- | tools/ocaml/libs/xl/genwrap.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/ocaml/libs/xl/genwrap.py b/tools/ocaml/libs/xl/genwrap.py index 427b336266..4e318bebc8 100644 --- a/tools/ocaml/libs/xl/genwrap.py +++ b/tools/ocaml/libs/xl/genwrap.py @@ -266,7 +266,6 @@ if __name__ == '__main__': "cpupoolinfo", "domain_create_info", "domain_build_info", - "device_model_info", "vcpuinfo", "topologyinfo", "event", |