Changes in doc/rob_thesis/intro.tex [ade20d0:12d3187]

File:

• doc/rob_thesis/intro.tex (modified) (2 diffs)

doc/rob_thesis/intro.tex

@@ -3 +3 @@
 %======================================================================
 
-\section{\protect\CFA Background}
+\section{\CFA Background}
 \label{s:background}
 \CFA \footnote{Pronounced ``C-for-all'', and written \CFA or Cforall.} is a modern non-object-oriented extension to the C programming language.
@@ -370 +370 @@
     \end{tabular}
   \end{center}
-  \caption{\label{table:types} The different kinds of type parameters in \protect\CFA}
+  \caption{\label{table:types} The different kinds of type parameters in \CFA}
 \end{table}