diff --git a/gui/api.tcl b/gui/api.tcl index 42813736..8e3f2031 100755 --- a/gui/api.tcl +++ b/gui/api.tcl @@ -7,7 +7,7 @@ # # version of the API document that is used -set CORE_API_VERSION 1.22 +set CORE_API_VERSION 1.23 set DEFAULT_API_PORT 4038 set g_api_exec_num 100; # starting execution number