copyright header for new file src/tools/why3wc.mll

ba9543a2 · Jean-Christophe Filliâtre · c365d67b · ba9543a2
Commit ba9543a2 authored Mar 30, 2014 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 10 additions and 0 deletions

src/tools/why3wc.mll src/tools/why3wc.mll +10 -0

No files found.
--- a/src/tools/why3wc.mll
+++ b/src/tools/why3wc.mll
+(********************************************************************)
+(*                                                                  *)
+(*  The Why3 Verification Platform   /   The Why3 Development Team  *)
+(*  Copyright 2010-2014   --   INRIA - CNRS - Paris-Sud University  *)
+(*                                                                  *)
+(*  This software is distributed under the terms of the GNU Lesser  *)
+(*  General Public License version 2.1, with the special exception  *)
+(*  on linking described in file LICENSE.                           *)
+(*                                                                  *)
+(********************************************************************)

 (** Count spec/code tokens/lines and comment lines in Why3 source files *)