Now calls Tcl_Init after creating the interp, fixes clock format.

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 09909696be1df467585471e1fd021565220088ab..6ab28314836c4433ee237609c20507e61a16fb35 100644 (file)
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -733,6 +733,8 @@ extern Tcl_Interp *yosys_get_tcl_interp()
 {
        if (yosys_tcl_interp == NULL) {
                yosys_tcl_interp = Tcl_CreateInterp();
+               if (Tcl_Init(yosys_tcl_interp)!=TCL_OK)
+                       log("Tcl_Init() call failed\n");
                Tcl_CreateCommand(yosys_tcl_interp, "yosys", tcl_yosys_cmd, NULL, NULL);
        }
        return yosys_tcl_interp;