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

(limited to 'src/context/context.cpp')

diff --git a/src/context/context.cpp b/src/context/context.cpp
index 487dd97f8..5d8ea933b 100644
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** context.cpp
  ** Original author: mdeters
  ** Major contributors: barrett
-- 
cgit v1.2.3