diff options
Diffstat (limited to 'yacc/closure.c')
| -rw-r--r-- | yacc/closure.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/yacc/closure.c b/yacc/closure.c index b67245c78..f3002d942 100644 --- a/yacc/closure.c +++ b/yacc/closure.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "defs.h" short *itemset; |