From de96bc814a6dd3b619bf247e8e83375d0ae7d595 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 4 Feb 2010 22:10:47 +0000
Subject: remove -*- c++ -*- emacs tag from source files (it overrides
 cvc4-c++-editing-mode from contrib/editing-with-emacs

---
 src/theory/theory_engine.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/theory_engine.cpp')

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 81bb38e68..58a59d321 100644
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** theory_engine.cpp
  ** Original author: mdeters
  ** Major contributors: none
-- 
cgit v1.2.3