Add a few missing headers.

c48822db · POTTIER Francois · b467dc4b · c48822db · c48822db
Commit c48822db authored Oct 05, 2018 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 26 additions and 0 deletions

src/Trie.ml src/Trie.ml +13 -0

src/Trie.mli src/Trie.mli +13 -0

No files found.
--- a/src/Trie.ml
+++ b/src/Trie.ml
+(******************************************************************************)
+(*                                                                            *)
+(*                                   Menhir                                   *)
+(*                                                                            *)
+(*                       François Pottier, Inria Paris                        *)
+(*              Yann Régis-Gianas, PPS, Université Paris Diderot              *)
+(*                                                                            *)
+(*  Copyright Inria. All rights reserved. This file is distributed under the  *)
+(*  terms of the GNU General Public License version 2, as described in the    *)
+(*  file LICENSE.                                                             *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Grammar

 (* -------------------------------------------------------------------------- *)

--- a/src/Trie.mli
+++ b/src/Trie.mli
+(******************************************************************************)
+(*                                                                            *)
+(*                                   Menhir                                   *)
+(*                                                                            *)
+(*                       François Pottier, Inria Paris                        *)
+(*              Yann Régis-Gianas, PPS, Université Paris Diderot              *)
+(*                                                                            *)
+(*  Copyright Inria. All rights reserved. This file is distributed under the  *)
+(*  terms of the GNU General Public License version 2, as described in the    *)
+(*  file LICENSE.                                                             *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Grammar

 (* Suppose [s] is a state that carries an outgoing edge labeled with a