Temporary debugging change.

This commit is contained in:
Alan Mishchenko 2011-11-12 23:00:09 -08:00
parent 4a937ef39f
commit 926b3adec1
1 changed files with 1 additions and 0 deletions

View File

@ -2045,6 +2045,7 @@ void If_CluTest()
//F = 70050367E00A0C6E(a,b,c,d,e,f) Vars = 6 Myu = 4 { e f c a b g }
//F = FFAACC88E0A0C080(a,b,c,d,e,f) Vars = 6 Myu = 4 { e f c a b g }
//F = 003F6FFF(a,b,c,d,e) Vars = 5 Myu = 0 { j k d h i }
return;
If_CluVerify3( pF, 9, &G, &G2, &R, BStruth, BStruth2, FStruth );
}