diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-02 23:03:17 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-02 23:03:17 -0700 |
| commit | 805eb96d6d1be9542fd9af90125df190f796703f (patch) | |
| tree | 2758682a5e0cd6f19dfd198318b6aa7234ab18e4 /src/map/if/ifDec07.c | |
| parent | cfa7be1a07e3102195b2395f379f50e556dbf4e3 (diff) | |
| download | abc-805eb96d6d1be9542fd9af90125df190f796703f.tar.gz abc-805eb96d6d1be9542fd9af90125df190f796703f.tar.bz2 abc-805eb96d6d1be9542fd9af90125df190f796703f.zip | |
Integrating synthesis into the new BMC engine.
Diffstat (limited to 'src/map/if/ifDec07.c')
| -rw-r--r-- | src/map/if/ifDec07.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifDec07.c b/src/map/if/ifDec07.c index b5f4d324..1bbc93fb 100644 --- a/src/map/if/ifDec07.c +++ b/src/map/if/ifDec07.c @@ -713,7 +713,7 @@ word If_Dec5Perform( word t, int fDerive ) { int Pla2Var[7], Var2Pla[7]; int i, j, v; - word t0 = t; +// word t0 = t; word c0, c1, c00, c01, c10, c11; for ( i = 0; i < 5; i++ ) { |