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. **