diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 23:00:09 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 23:00:09 -0800 |
| commit | 926b3adec1693408527ea6e067223c60596d7d1f (patch) | |
| tree | 9f1e9b98a96f94b83a90ff3a3355ce94ae5ce287 /src/map/if/ifDec16.c | |
| parent | 4a937ef39f8d0ed1f2d745c64d1999f91d102420 (diff) | |
| download | abc-926b3adec1693408527ea6e067223c60596d7d1f.tar.gz abc-926b3adec1693408527ea6e067223c60596d7d1f.tar.bz2 abc-926b3adec1693408527ea6e067223c60596d7d1f.zip | |
Temporary debugging change.
Diffstat (limited to 'src/map/if/ifDec16.c')
| -rw-r--r-- | src/map/if/ifDec16.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index 3ab04585..f2912c58 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -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 ); } |