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/main | |
| 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/main')
| -rw-r--r-- | src/main/about.h | 2 | ||||
| -rw-r--r-- | src/main/getopt.cpp | 2 | ||||
| -rw-r--r-- | src/main/main.cpp | 2 | ||||
| -rw-r--r-- | src/main/main.h | 2 | ||||
| -rw-r--r-- | src/main/usage.h | 2 | ||||
| -rw-r--r-- | src/main/util.cpp | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/src/main/about.h b/src/main/about.h index a30cffd39..9dacdc8cc 100644 --- a/src/main/about.h +++ b/src/main/about.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** about.h ** Original author: mdeters ** Major contributors: none diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp index f4d32cd68..0c041b05e 100644 --- a/src/main/getopt.cpp +++ b/src/main/getopt.cpp @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** getopt.cpp ** Original author: mdeters ** Major contributors: none diff --git a/src/main/main.cpp b/src/main/main.cpp index d4b40c12d..bb38c6147 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** main.cpp ** Original author: mdeters ** Major contributors: barrett, dejan diff --git a/src/main/main.h b/src/main/main.h index 0c78912ae..405b22363 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** main.h ** Original author: mdeters ** Major contributors: none diff --git a/src/main/usage.h b/src/main/usage.h index 6927f0f2f..f13c4aebe 100644 --- a/src/main/usage.h +++ b/src/main/usage.h @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** usage.h ** Original author: mdeters ** Major contributors: none diff --git a/src/main/util.cpp b/src/main/util.cpp index 03ae26092..adb117b9d 100644 --- a/src/main/util.cpp +++ b/src/main/util.cpp @@ -1,4 +1,4 @@ -/********************* -*- C++ -*- */ +/********************* */ /** util.cpp ** Original author: mdeters ** Major contributors: none |