From 772d8b69493c0fd0f443bcbff0a92da8c7565a0f Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 22 Oct 2012 18:38:42 +0000
Subject: fix installation of certain header files

---
 src/util/tls.h.in | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/util/tls.h.in')

diff --git a/src/util/tls.h.in b/src/util/tls.h.in
index cd89be9d0..17f1f1d6e 100644
--- a/src/util/tls.h.in
+++ b/src/util/tls.h.in
@@ -24,8 +24,6 @@
 #ifndef __CVC4__TLS_H
 #define __CVC4__TLS_H
 
-#line 28 "@srcdir@/tls.h.in"
-
 // A bit obnoxious: we have to take varargs to support multi-argument
 // template types in the threadlocals.
 // E.g. "CVC4_THREADLOCAL(hash_set<type, hasher>*)" fails otherwise,
-- 
cgit v1.2.3