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/expr/expr_manager.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/expr/expr_manager.cpp')

diff --git a/src/expr/expr_manager.cpp b/src/expr/expr_manager.cpp
index 5b5f962bd..d81466305 100644
--- a/src/expr/expr_manager.cpp
+++ b/src/expr/expr_manager.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** expr_manager.cpp
  ** Original author: dejan
  ** Major contributors: mdeters
-- 
cgit v1.2.3