diff options
-rwxr-xr-x | libvirt/generator.pl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/libvirt/generator.pl b/libvirt/generator.pl index 578029b..4fbace6 100755 --- a/libvirt/generator.pl +++ b/libvirt/generator.pl @@ -951,8 +951,7 @@ END #ifndef $have_name /* Symbol $c_name not found at compile time. */ not_supported ("$c_name"); - /* Suppresses a compiler warning. */ - (void) caml__frame; + CAMLnoreturn; #else /* Check that the symbol $c_name * is in runtime version of libvirt. |