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

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

diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index 8092348fe..72ad61e95 100644
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** node.cpp
  ** Original author: mdeters
  ** Major contributors: taking, dejan
-- 
cgit v1.2.3