alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/dstarparse/dstarscan.ll: Fix encoding.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-01-08 15:22:40 +01:00
parent 56ed13a96d
commit 1492acc585
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/dstarparse/dstarscan.ll
View file

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