ras

Author: OlivierBBB

rlp_utils/_local.tex

@@ -10,7 +10,7 @@
 \def\locWeightedFlagSum {\loc{wght\_flag\_sum}}
 
 % INTEGER instruction
-\def\integerCtMax              {\redm{2}}
+\def\integerCtMax              {\numConst{2}}
 \def\locInputInteger           {\loc{in/integer}}
 \def\locInputIntegerHi         {\locInputInteger\loc{\_hi}}
 \def\locInputIntegerLo         {\locInputInteger\loc{\_lo}}
@@ -38,8 +38,8 @@
 \def\locBaseRlpPrefixShort       {\loc{base\_rlp\_prefix\_short}}
 \def\locBaseRlpPrefixLong        {\loc{base\_rlp\_prefix\_long}}
 
-\def\bytestringEmptyCtMax        {\redm{0}}
-\def\bytestringNonEmptyCtMax     {\redm{2}}
+\def\bytestringEmptyCtMax        {\numConst{0}}
+\def\bytestringNonEmptyCtMax     {\numConst{2}}
 
 \def\locInputBytestringLength         {\loc{in/byte\_string\_length}}
 \def\locInputFirstByte                {\loc{in/first\_byte}}