From 6675b39e043016e3cc9e79054dd5142b6ba947dc Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Thu, 31 Jul 2008 17:47:44 +0200
Subject: [PATCH] Use \label instead of \ref to define labels.

---
 Report/Main/Future.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Report/Main/Future.tex b/Report/Main/Future.tex
index 842900c..0225174 100644
--- a/Report/Main/Future.tex
+++ b/Report/Main/Future.tex
@@ -1,5 +1,5 @@
 \chapter{Future work}
-\ref{FutureWork}
+\label{FutureWork}
 This chapter will describe outstanding tasks and issues.
 
 \section{Verifiers}
@@ -15,7 +15,7 @@ the specifications. Apart from improving user feedback, this will also greatly
 help to fine tune the specifications and find bugs in the frontend.
 
 \section{Debug info preservation}
-\ref{PreserveDebug}
+\label{PreserveDebug}
 Currently, transformation passes are mostly ignorant about debugging info, they
 treat it as ordinary code. Since debugging info is added to LLVM code by means
 of special function calls and transformations by default assume that an unknow
-- 
2.30.2