From 1492acc5859fe48fd994301cfadc1e74bf7779c8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 8 Jan 2015 15:22:40 +0100
Subject: [PATCH] * src/dstarparse/dstarscan.ll: Fix encoding.

---
 src/dstarparse/dstarscan.ll | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/dstarparse/dstarscan.ll b/src/dstarparse/dstarscan.ll
index 25e83dd26..3d5229f80 100644
--- a/src/dstarparse/dstarscan.ll
+++ b/src/dstarparse/dstarscan.ll
@@ -1,5 +1,6 @@
-/* Copyright (C) 2013, 2014 Laboratoire de Recherche et Développement
-** de l'Epita (LRDE).
+/* -*- coding: utf-8 -*-
+** Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et
+** DĂ©veloppement de l'Epita (LRDE).
 **
 ** This file is part of Spot, a model checking library.
 **