From c9bebe157b00fb2f84163914d4063a9b43ecb5cf Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 9 Mar 2020 13:16:22 +0200
Subject: Ongoing changes to the simulator.

---
 src/aig/gia/giaSim5.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/aig/gia/giaSim5.c')

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                         ///
-- 
cgit v1.2.3