diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-04 22:10:47 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-04 22:10:47 +0000 |
commit | de96bc814a6dd3b619bf247e8e83375d0ae7d595 (patch) | |
tree | 187cd229a7bdc67399999bc397a8524761fea176 /src/util | |
parent | a34b66437f97f66d9dcd1caa0919f66cf316e238 (diff) |
remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing-mode from contrib/editing-with-emacs
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/Assert.cpp | 2 | ||||
-rw-r--r-- | src/util/Assert.h | 2 | ||||
-rw-r--r-- | src/util/debug.h | 2 | ||||
-rw-r--r-- | src/util/decision_engine.cpp | 2 | ||||
-rw-r--r-- | src/util/decision_engine.h | 2 | ||||
-rw-r--r-- | src/util/exception.h | 2 | ||||
-rw-r--r-- | src/util/literal.h | 2 | ||||
-rw-r--r-- | src/util/model.h | 2 | ||||
-rw-r--r-- | src/util/options.h | 2 | ||||
-rw-r--r-- | src/util/output.cpp | 2 | ||||
-rw-r--r-- | src/util/output.h | 2 | ||||
-rw-r--r-- | src/util/result.h | 2 | ||||
-rw-r--r-- | src/util/unique_id.h | 2 |
13 files changed, 13 insertions, 13 deletions
diff --git a/src/util/Assert.cpp b/src/util/Assert.cpp index c798b3d0a..8e2dd9220 100644 --- a/src/util/Assert.cpp +++ b/src/util/Assert.cpp @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** Assert.cpp ** Original author: mdeters ** Major contributors: none diff --git a/src/util/Assert.h b/src/util/Assert.h index 7d2785d73..8f03ecd45 100644 --- a/src/util/Assert.h +++ b/src/util/Assert.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** Assert.h ** Original author: mdeters ** Major contributors: none diff --git a/src/util/debug.h b/src/util/debug.h index e99b1c48a..13b097955 100644 --- a/src/util/debug.h +++ b/src/util/debug.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** debug.h ** Original author: mdeters ** Major contributors: none diff --git a/src/util/decision_engine.cpp b/src/util/decision_engine.cpp index b163879b8..92e4c4f8c 100644 --- a/src/util/decision_engine.cpp +++ b/src/util/decision_engine.cpp @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** decision_engine.cpp ** Original author: mdeters ** Major contributors: none diff --git a/src/util/decision_engine.h b/src/util/decision_engine.h index a2392c104..801daa863 100644 --- a/src/util/decision_engine.h +++ b/src/util/decision_engine.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** decision_engine.h ** Original author: mdeters ** Major contributors: none diff --git a/src/util/exception.h b/src/util/exception.h index 8401b041e..b77e7c860 100644 --- a/src/util/exception.h +++ b/src/util/exception.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** exception.h ** Original author: mdeters ** Major contributors: none diff --git a/src/util/literal.h b/src/util/literal.h index b246d1289..582c8a646 100644 --- a/src/util/literal.h +++ b/src/util/literal.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** literal.h ** Original author: mdeters ** Major contributors: none diff --git a/src/util/model.h b/src/util/model.h index 2d2419d0f..65c919dd2 100644 --- a/src/util/model.h +++ b/src/util/model.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** model.h ** Original author: mdeters ** Major contributors: none diff --git a/src/util/options.h b/src/util/options.h index 82552553f..f3bc52d34 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** options.h ** Original author: mdeters ** Major contributors: dejan diff --git a/src/util/output.cpp b/src/util/output.cpp index fb48a23a5..01a485136 100644 --- a/src/util/output.cpp +++ b/src/util/output.cpp @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** output.cpp ** Original author: mdeters ** Major contributors: none diff --git a/src/util/output.h b/src/util/output.h index d11725fc5..8ba1ea26b 100644 --- a/src/util/output.h +++ b/src/util/output.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** output.h ** Original author: mdeters ** Major contributors: none diff --git a/src/util/result.h b/src/util/result.h index 8cfac4d09..49ba7c697 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** result.h ** Original author: mdeters ** Major contributors: none diff --git a/src/util/unique_id.h b/src/util/unique_id.h index 8b5e1f31e..244b8a5dd 100644 --- a/src/util/unique_id.h +++ b/src/util/unique_id.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** unique_id.h ** Original author: mdeters ** Major contributors: none |