diff --git a/src/frontend/misccoms.c b/src/frontend/misccoms.c index 585d3d7fb..64d866e31 100644 --- a/src/frontend/misccoms.c +++ b/src/frontend/misccoms.c @@ -175,6 +175,11 @@ com_version(wordlist *wl) fprintf(cp_out, "** %s\n", Spice_Notice); if (Spice_Build_Date != NULL && *Spice_Build_Date != 0) fprintf(cp_out, "** Creation Date: %s\n", Spice_Build_Date); + +#ifdef KIRCHHOFF + fprintf(cp_out, "** KCL Verification enabled.\n"); +#endif + fprintf(cp_out, "******\n"); } else { @@ -251,6 +256,9 @@ com_version(wordlist *wl) #endif #ifdef EXP_DEV fprintf(cp_out, "** Experimental devices enabled.\n"); +#endif +#ifdef KIRCHHOFF + fprintf(cp_out, "** KCL Verification enabled.\n"); #endif fprintf(cp_out, "******\n");