Index: doc/LaTeXmacros/common.tex
===================================================================
--- doc/LaTeXmacros/common.tex	(revision 41096dc005a0d61e15c1273773605ceaa00b23df)
+++ doc/LaTeXmacros/common.tex	(revision 280182991c166aec83754649cbd34177b1061aa5)
@@ -11,6 +11,6 @@
 %% Created On       : Sat Apr  9 10:06:17 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Fri May 24 07:59:54 2019
-%% Update Count     : 382
+%% Last Modified On : Fri Sep  4 13:56:52 2020
+%% Update Count     : 383
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -36,4 +36,5 @@
 % Names used in the document.
 
+\usepackage{xspace}
 \newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}\xspace} % Cforall symbolic name
 \newcommand{\CFA}{\protect\CFAIcon}		% safe for section/caption
@@ -241,4 +242,5 @@
 }%
 
+\usepackage{listings}									% format program code
 \usepackage{lstlang}