X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbelive.h;h=f368fb3ffb374a29569bfbf62a19f579288f2a75;hb=48f0393daa5d5a14ed7e3e32ee2b090759c9371e;hp=fddbcdb352059e80034e74964b86c5419a065959;hpb=cb0c12e4aa9e238abd067ec1e9bc8a55115e29a4;p=libfirm

diff --git a/ir/be/belive.h b/ir/be/belive.h
index fddbcdb35..f368fb3ff 100644
--- a/ir/be/belive.h
+++ b/ir/be/belive.h
@@ -116,8 +116,9 @@ int (be_is_live_end)(const be_lv_t *lv, const ir_node *block, const ir_node *irn
 /**
  * Check, if the SSA dominance property is fulfilled.
  * @param irg The graph.
+ * @return   1 if dominance property is fulfilled, 0 otherwise
  */
-void be_check_dominance(ir_graph *irg);
+int be_check_dominance(ir_graph *irg);
 
 /**
  * The liveness transfer function.