From 926b3adec1693408527ea6e067223c60596d7d1f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 12 Nov 2011 23:00:09 -0800
Subject: Temporary debugging change.

---
 src/map/if/ifDec16.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/map/if/ifDec16.c')

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 );
 }
 
-- 
cgit v1.2.3