--- src/pulsecore/core-util.c-dist	2007-06-08 14:45:27.000000000 +0200
+++ src/pulsecore/core-util.c	2007-06-08 14:45:45.000000000 +0200
@@ -544,6 +544,7 @@ fail:
         cap_free(caps);
     }
 #endif
+    ;
 }
 
 /* Reset the priority to normal, inverting the changes made by pa_raise_priority() */