diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-10-22 18:38:42 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-10-22 18:38:42 +0000 |
| commit | 772d8b69493c0fd0f443bcbff0a92da8c7565a0f (patch) | |
| tree | 71a310db489c95d04b4d34569be112d7cf0db45e /src/util | |
| parent | fb5ff6dd1335ce5c4dc7d4607d1a44f03d80199c (diff) | |
fix installation of certain header files
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/tls.h.in | 2 |
1 files changed, 0 insertions, 2 deletions
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, |