reformat so that numbers are correct

This commit is contained in:
Caolán McNamara
2011-09-17 21:43:49 +01:00
parent f20bafad82
commit bca6b33e57

View File

@@ -97,23 +97,23 @@ enum SmTokenType
/*125*/ TMINUSPLUS, TOPLUS, TOMINUS, TDIV, TOTIMES,
/*130*/ TODIVIDE, TTRANSL, TTRANSR, TIINT, TIIINT,
/*135*/ TLINT, TLLINT, TLLLINT, TPROD, TCOPROD,
/*140*/ TFORALL, TEXISTS, TNOTEXISTS, TLIM, TNABLA, TTOWARD,
/*145*/ TSINH, TCOSH, TTANH, TCOTH, TASIN,
/*150*/ TACOS, TATAN, TLN, TLOG, TUOPER,
/*155*/ TBOPER, TBLACK, TWHITE, TRED, TGREEN,
/*160*/ TBLUE, TCYAN, TMAGENTA, TYELLOW, TFIXED,
/*165*/ TSANS, TSERIF, TPOINT, TASINH, TACOSH,
/*170*/ TATANH, TACOTH, TACOT, TEXP, TCDOT,
/*175*/ TODOT, TLESLANT, TGESLANT, TNSUBSET, TNSUPSET,
/*180*/ TNSUBSETEQ, TNSUPSETEQ, TPARTIAL, TNEG, TNI,
/*185*/ TBACKEPSILON, TALEPH, TIM, TRE, TWP,
/*190*/ TEMPTYSET, TINFINITY, TESCAPE, TLIMSUP, TLIMINF,
/*195*/ TNDIVIDES, TDRARROW, TDLARROW, TDLRARROW, TUNDERBRACE,
/*200*/ TOVERBRACE, TCIRC, TTOP, THBAR, TLAMBDABAR,
/*205*/ TLEFTARROW, TRIGHTARROW, TUPARROW, TDOWNARROW, TDIVIDES,
/*210*/ TNDIBVIDES, TSETN, TSETZ, TSETQ, TSETR,
/*215*/ TSETC, TWIDEVEC, TWIDETILDE, TWIDEHAT, TWIDESLASH,
/*220*/ TWIDEBACKSLASH, TLDBRACKET, TRDBRACKET, TNOSPACE,
/*140*/ TFORALL, TEXISTS, TNOTEXISTS, TLIM, TNABLA,
/*145*/ TTOWARD, TSINH, TCOSH, TTANH, TCOTH,
/*150*/ TASIN, TACOS, TATAN, TLN, TLOG,
/*155*/ TUOPER, TBOPER, TBLACK, TWHITE, TRED,
/*160*/ TGREEN, TBLUE, TCYAN, TMAGENTA, TYELLOW,
/*165*/ TFIXED, TSANS, TSERIF, TPOINT, TASINH,
/*170*/ TACOSH, TATANH, TACOTH, TACOT, TEXP,
/*175*/ TCDOT, TODOT, TLESLANT, TGESLANT, TNSUBSET,
/*180*/ TNSUPSET, TNSUBSETEQ, TNSUPSETEQ, TPARTIAL, TNEG,
/*185*/ TNI, TBACKEPSILON, TALEPH, TIM, TRE,
/*190*/ TWP, TEMPTYSET, TINFINITY, TESCAPE, TLIMSUP,
/*195*/ TLIMINF, TNDIVIDES, TDRARROW, TDLARROW, TDLRARROW,
/*200*/ TUNDERBRACE, TOVERBRACE, TCIRC, TTOP, THBAR,
/*205*/ TLAMBDABAR, TLEFTARROW, TRIGHTARROW, TUPARROW, TDOWNARROW,
/*210*/ TDIVIDES, TNDIBVIDES, TSETN, TSETZ, TSETQ,
/*215*/ TSETR, TSETC, TWIDEVEC, TWIDETILDE, TWIDEHAT,
/*220*/ TWIDESLASH, TWIDEBACKSLASH, TLDBRACKET, TRDBRACKET, TNOSPACE,
/*225*/ TUNKNOWN, TDEBUG
};