// by the GNU General Public License. This exception does not
// however invalidate any other reasons why the executable file might be
// covered by the GNU Public License.
-// As a special exception, if you include this header file into source
-// files to be compiled, this header file does not by itself cause
-// the resulting executable to be covered by the GNU General Public
-// License. This exception does not however invalidate any other
-// reasons why the executable file might be covered by the GNU General
-// Public License.
// -----------------------------------------------------------------------
//frsh_error.h
//==============================================
#define FRSH_ERR_CONTRACT_TYPE_NOT_COMPATIBLE 0x02004025
#define FRSH_ERR_CAPACITY_NOT_DECREASING 0x02004026
#define FRSH_ERR_CONTRACT_LABEL_UNKNOWN 0x02004027
+#define FRSH_ERR_OUT_OF_BUDGET 0x02004028
-#define FRSH_ERR_LAST_VALUE 0x02004028
+#define FRSH_ERR_LAST_VALUE 0x02004029
#define ERROR(nn,ss) do {if(nn>FRSH_ERR_BASE_VALUE) my_frsh_strerror(nn, ss); else perror(ss); exit (nn);} while (0)