summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSim5.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2020-03-09 13:16:22 +0200
committerAlan Mishchenko <alanmi@berkeley.edu>2020-03-09 13:16:22 +0200
commitc9bebe157b00fb2f84163914d4063a9b43ecb5cf (patch)
tree362c3527788ba71f0fdfc78e9322a56cf6cd965f /src/aig/gia/giaSim5.c
parenta484c65b0b32e7b220c54d5c1e7b36ba6c7c262d (diff)
downloadabc-c9bebe157b00fb2f84163914d4063a9b43ecb5cf.tar.gz
abc-c9bebe157b00fb2f84163914d4063a9b43ecb5cf.tar.bz2
abc-c9bebe157b00fb2f84163914d4063a9b43ecb5cf.zip
Ongoing changes to the simulator.
Diffstat (limited to 'src/aig/gia/giaSim5.c')
-rw-r--r--src/aig/gia/giaSim5.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaSim5.c b/src/aig/gia/giaSim5.c
index bdfd78b4..ab33c218 100644
--- a/src/aig/gia/giaSim5.c
+++ b/src/aig/gia/giaSim5.c
@@ -29,6 +29,7 @@ ABC_NAMESPACE_IMPL_START
void Sim_Init( Abc_Frame_t * pAbc ) {}
void Sim_End( Abc_Frame_t * pAbc ) {}
+void Gia_DatFree( Gia_Dat_t * p ) {}
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///