From 58ffe1ef189bc98f970e649ddc52dd1f22cf0b13 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= <38285177+OlivierBBB@users.noreply.github.com> Date: Sun, 15 Dec 2024 18:40:00 +0700 Subject: [PATCH] fix: value to be set macro now green (#39) --- hub/instruction_handling/account/constraints.tex | 2 +- pkg/common.sty | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/hub/instruction_handling/account/constraints.tex b/hub/instruction_handling/account/constraints.tex index dc2a682..5e33a03 100644 --- a/hub/instruction_handling/account/constraints.tex +++ b/hub/instruction_handling/account/constraints.tex @@ -103,7 +103,7 @@ \multicolumn{3}{l}{\accSameCode {i}{\locRoffAccFamForeignAccountDoingRow}} \\ \multicolumn{3}{l}{\accSameDeployment {i}{\locRoffAccFamForeignAccountDoingRow}} \\ % \multicolumn{3}{l}{\accTurnOnWarmth {i}{\locRoffAccFamForeignAccountDoingRow}} \\ - \multicolumn{3}{l}{\texttt{Warmth:} ~ \valueToBeSet} \\ + \texttt{Warmth:} & \valueToBeSet \\ \multicolumn{3}{l}{\accSameMarkedForSelfdestructFlag {i}{\locRoffAccFamForeignAccountDoingRow}} \\ \multicolumn{3}{l}{ \standardDomSubStamps { diff --git a/pkg/common.sty b/pkg/common.sty index 5384542..4cd5269 100644 --- a/pkg/common.sty +++ b/pkg/common.sty @@ -202,7 +202,7 @@ \newcommand{\alreadySet} {\gray{\texttt{}}} \newcommand{\leftUndefined} {\gray{\texttt{}}} \newcommand{\relevantValue} {\texttt{}} -\newcommand{\valueToBeSet} {\texttt{}} +\newcommand{\valueToBeSet} {\textcolor{solarized-green}{\texttt{}}} \newcommand{\valueUnknown} {\gray{\texttt{}}} \newcommand{\toBeSet} {\orange{TO BE SET}} \newcommand{\justifiedByExternalCircuit}{\texttt{}}