From a82dc42e7c07fa47d2dab0cbe26a31e080ae9952 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 7 Jun 2016 15:51:04 +0200
Subject: Processed feedback

---
 paper/ftypes.tex | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'paper/ftypes.tex')

diff --git a/paper/ftypes.tex b/paper/ftypes.tex
index 803182f..8561b51 100644
--- a/paper/ftypes.tex
+++ b/paper/ftypes.tex
@@ -1,8 +1,5 @@
 \section{Used functions and types}
 \label{sec:ftypes}
 
-The following functions are considered known. If not, looking them up is easy
-using Cloogle~\citep{cloogle}.
-
 \lstinputlisting[firstline=5,lastline=23,xleftmargin=0pt]{While/Common.dcl}
 \lstinputlisting[firstline=34,lastline=34,xleftmargin=0pt]{While/Common.dcl}
-- 
cgit v1.2.3

