summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-08-11 12:09:08 +0200
committerYann Herklotz <git@yannherklotz.com>2020-08-11 12:09:08 +0200
commit2e37adf0eb281d501f420629d02aa6b2c0f62f19 (patch)
tree474a568a9b81b5d8a8102e318483867492ea2396
parent5fa1bebbd8c208a9099b8c41180d73bde8af3a58 (diff)
parentf1ae070abfb522bda99863d641ecf2f68732c692 (diff)
downloadoopsla21_fvhls-2e37adf0eb281d501f420629d02aa6b2c0f62f19.tar.gz
oopsla21_fvhls-2e37adf0eb281d501f420629d02aa6b2c0f62f19.zip
Merge remote-tracking branch 'origin/master'
-rw-r--r--main.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index 5bd0e6a..2c0cb01 100644
--- a/main.tex
+++ b/main.tex
@@ -67,7 +67,7 @@
\definecolor{constantcolour}{HTML}{0000bb}
\newcommand\yhkeywordsp[1]{\;\;\texttt{\textcolor{keywordcolour}{#1}}}
-\newcommand\yhkeyword[1]{\texttt{\textcolor{keywordcolour}{#1}}}
+\newcommand\yhkeyword[1]{\texttt{\textcolor{keywordcolour}{#1}}}4
\newcommand\yhfunctionsp[1]{\;\;\texttt{\textcolor{functioncolour}{#1}}}
\newcommand\yhfunction[1]{\texttt{\textcolor{functioncolour}{#1}}}
\newcommand\yhconstant[1]{\texttt{\textcolor{constantcolour}{#1}}}