# IAC Project Installation Information - DO NOT EDIT!
#
# Insert the following line into the iac_proj/iac_proj.v file
  "../iac_proj/ret2null/ret2null.v" Ret2Null;
# In the following iac_lib file
misc.v
# insert the following line
  IAC_PROJ.Ret2Null.Ret2NullMods.ReturnToNull ReturnToNull;
# In the following iac_lib file
examples.v
# insert the following line
  IAC_PROJ.Ret2Null.Ret2NullMacs.V_Ret2NullEg V_Ret2NullEg;
  IAC_PROJ.Ret2Null.Ret2NullMacs.C_Ret2NullEg C_Ret2NullEg;

