Index: doc/LaTeXmacros/common.tex
===================================================================
--- doc/LaTeXmacros/common.tex	(revision 7564e10d60badc52604ddc7491f9465ec58795f3)
+++ doc/LaTeXmacros/common.tex	(revision d2bb298dc51f35355297c61ecdc1413c3094847d)
@@ -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}