diff --git a/alliance/src/boog/src/bog_main.c b/alliance/src/boog/src/bog_main.c index 8476d063..bf647eda 100644 --- a/alliance/src/boog/src/bog_main.c +++ b/alliance/src/boog/src/bog_main.c @@ -251,7 +251,7 @@ extern int main (int argc, char* argv[]) bddenv(); /*for vhdlloadbefig() */ alliancebanner_with_authors("BooG", VERSION " [2002/02/11]", "Binding and Optimizing On Gates", - "2000", "5.0"/*ALLIANCE_VERSION*/, "François Donnet"); + "2000", ALLIANCE_VERSION, "François Donnet"); /*alliance env: extension netlist file (vst or al)*/ fprintf(stdout," MBK_VDD : %s\n",VDD); diff --git a/alliance/src/flatbeh/src/main.c b/alliance/src/flatbeh/src/main.c index 4ca67007..b9cfdb0d 100644 --- a/alliance/src/flatbeh/src/main.c +++ b/alliance/src/flatbeh/src/main.c @@ -63,7 +63,7 @@ char *outputFile; alliancebanner_with_authors("FlatBeh", VERSION " [2000/11/01]", "a netlist abstractor", "1993", - "5.0", "François DONNET, Huu Nghia VUONG"); + ALLIANCE_VERSION, "François DONNET, Huu Nghia VUONG"); if ((argc < 2) || (argc > 3)) { diff --git a/alliance/src/loon/src/lon_main.c b/alliance/src/loon/src/lon_main.c index 2312e568..c3702a28 100644 --- a/alliance/src/loon/src/lon_main.c +++ b/alliance/src/loon/src/lon_main.c @@ -254,7 +254,7 @@ extern int main (int argc, char* argv[]) alliancebanner_with_authors("LooN", VERSION " [2001/08/21]", "Local optimization on Nets", - "2000", "5.0"/*alliance version*/, "François Donnet"); + "2000", ALLIANCE_VERSION, "François Donnet"); /*set options*/ set_param(argc,argv);