X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbessadestr.h;h=11edd31c5c475f8827b421b46b08880683be81d1;hb=0d841728a12986b13b56bc5c019ff9466f1bd3ae;hp=8bcc993ed863685551b45a8025593aaa4cec47bd;hpb=69623f74067765b4eedf4446edfd8a729dfe64bb;p=libfirm

diff --git a/ir/be/bessadestr.h b/ir/be/bessadestr.h
index 8bcc993ed..11edd31c5 100644
--- a/ir/be/bessadestr.h
+++ b/ir/be/bessadestr.h
@@ -11,6 +11,6 @@
 
 /**
  * Performs SSA-Destruction. Arguments get adjusted, phi nodes just stay.
- * PRECONDITION: No block has a 'perm' for the current registerclass as last operation.
  */
 void be_ssa_destruction(be_chordal_env_t *chordal_env);
+void be_ssa_destruction_check(be_chordal_env_t *chordal_env);