From 1260d20cc05fe2d21088cc047c460e85ccdb3b14 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 5 Sep 2005 08:01:00 -0700 Subject: Version abc50905 --- src/sat/fraig/fraigInt.h | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/sat/fraig/fraigInt.h') diff --git a/src/sat/fraig/fraigInt.h b/src/sat/fraig/fraigInt.h index 1c765c12..131b750c 100644 --- a/src/sat/fraig/fraigInt.h +++ b/src/sat/fraig/fraigInt.h @@ -259,8 +259,6 @@ struct Fraig_NodeStruct_t_ Fraig_Node_t * pRepr; // the canonical functional representative of the node // simulation data -// Fraig_Sims_t * pSimsR; // the random simulation info -// Fraig_Sims_t * pSimsD; // the systematic simulation info unsigned uHashR; // the hash value for random information unsigned uHashD; // the hash value for dynamic information unsigned * puSimR; // the simulation information (random) -- cgit v1.2.3