diff options
| author | Richard W.M. Jones <rjones@redhat.com> | 2008-03-19 11:31:06 +0000 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2008-03-19 11:31:06 +0000 |
| commit | 1a2f10cdc0249b2a2432f7532ca0e5d4fc6c190d (patch) | |
| tree | 3a739ca5954c9270f48ba66b71baad1a44aa866a /virt-ctrl/virt_ctrl.ml | |
| parent | 10d89a4a52b85803c85e14a1a71737ba20dea3d4 (diff) | |
Use CAMLnoreturn to avoid compiler warning.
Diffstat (limited to 'virt-ctrl/virt_ctrl.ml')
0 files changed, 0 insertions, 0 deletions