[bpt/coccinelle.git] / test.ml

(*
 * Copyright 2010, INRIA, University of Copenhagen
 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2010, INRIA, University of Copenhagen
 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2010, INRIA, University of Copenhagen
 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2010, INRIA, University of Copenhagen
 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


(*
 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


let foo_ctl () = failwith "there is no foo_ctl formula"
Commit	Line	Data
174d1640 C	1	(*
	2	* Copyright 2010, INRIA, University of Copenhagen
	3	* Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
	4	* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
	5	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	6	* This file is part of Coccinelle.
	7	*
	8	* Coccinelle is free software: you can redistribute it and/or modify
	9	* it under the terms of the GNU General Public License as published by
	10	* the Free Software Foundation, according to version 2 of the License.
	11	*
	12	* Coccinelle is distributed in the hope that it will be useful,
	13	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	14	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	15	* GNU General Public License for more details.
	16	*
	17	* You should have received a copy of the GNU General Public License
	18	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	19	*
	20	* The authors reserve the right to distribute this or future versions of
	21	* Coccinelle under other licenses.
	22	*)
	23
	24
	25	(*
	26	* Copyright 2010, INRIA, University of Copenhagen
	27	* Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
	28	* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
	29	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	30	* This file is part of Coccinelle.
	31	*
	32	* Coccinelle is free software: you can redistribute it and/or modify
	33	* it under the terms of the GNU General Public License as published by
	34	* the Free Software Foundation, according to version 2 of the License.
	35	*
	36	* Coccinelle is distributed in the hope that it will be useful,
	37	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	38	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	39	* GNU General Public License for more details.
	40	*
	41	* You should have received a copy of the GNU General Public License
	42	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	43	*
	44	* The authors reserve the right to distribute this or future versions of
	45	* Coccinelle under other licenses.
	46	*)
	47
	48
	49	(*
	50	* Copyright 2010, INRIA, University of Copenhagen
	51	* Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
	52	* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
	53	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	54	* This file is part of Coccinelle.
	55	*
	56	* Coccinelle is free software: you can redistribute it and/or modify
	57	* it under the terms of the GNU General Public License as published by
	58	* the Free Software Foundation, according to version 2 of the License.
	59	*
	60	* Coccinelle is distributed in the hope that it will be useful,
	61	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	62	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	63	* GNU General Public License for more details.
	64	*
65	* You should have received a copy of the GNU General Public License
66	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
67	*
68	* The authors reserve the right to distribute this or future versions of
69	* Coccinelle under other licenses.
70	*)
71
72
90aeb998 C	73	(*
	74	* Copyright 2010, INRIA, University of Copenhagen
	75	* Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
	76	* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
	77	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	78	* This file is part of Coccinelle.
	79	*
	80	* Coccinelle is free software: you can redistribute it and/or modify
	81	* it under the terms of the GNU General Public License as published by
	82	* the Free Software Foundation, according to version 2 of the License.
	83	*
	84	* Coccinelle is distributed in the hope that it will be useful,
	85	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	86	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	87	* GNU General Public License for more details.
	88	*
	89	* You should have received a copy of the GNU General Public License
	90	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	91	*
	92	* The authors reserve the right to distribute this or future versions of
	93	* Coccinelle under other licenses.
	94	*)
	95
	96
5636bb2c C	97	(*
	98	* Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
	99	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	100	* This file is part of Coccinelle.
	101	*
	102	* Coccinelle is free software: you can redistribute it and/or modify
	103	* it under the terms of the GNU General Public License as published by
	104	* the Free Software Foundation, according to version 2 of the License.
	105	*
	106	* Coccinelle is distributed in the hope that it will be useful,
	107	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	108	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	109	* GNU General Public License for more details.
	110	*
	111	* You should have received a copy of the GNU General Public License
	112	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	113	*
	114	* The authors reserve the right to distribute this or future versions of
	115	* Coccinelle under other licenses.
	116	*)
	117
	118
	119	(*
	120	* Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
	121	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	122	* This file is part of Coccinelle.
	123	*
	124	* Coccinelle is free software: you can redistribute it and/or modify
	125	* it under the terms of the GNU General Public License as published by
	126	* the Free Software Foundation, according to version 2 of the License.
	127	*
	128	* Coccinelle is distributed in the hope that it will be useful,
	129	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	130	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	131	* GNU General Public License for more details.
	132	*
	133	* You should have received a copy of the GNU General Public License
	134	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	135	*
	136	* The authors reserve the right to distribute this or future versions of
	137	* Coccinelle under other licenses.
	138	*)
	139
	140
	141	(*
	142	* Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
	143	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	144	* This file is part of Coccinelle.
	145	*
	146	* Coccinelle is free software: you can redistribute it and/or modify
	147	* it under the terms of the GNU General Public License as published by
	148	* the Free Software Foundation, according to version 2 of the License.
	149	*
	150	* Coccinelle is distributed in the hope that it will be useful,
	151	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	152	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	153	* GNU General Public License for more details.
	154	*
	155	* You should have received a copy of the GNU General Public License
	156	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	157	*
	158	* The authors reserve the right to distribute this or future versions of
	159	* Coccinelle under other licenses.
	160	*)
161
162
d6a55602 C	163	(*
	164	* Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
	165	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	166	* This file is part of Coccinelle.
	167	*
	168	* Coccinelle is free software: you can redistribute it and/or modify
	169	* it under the terms of the GNU General Public License as published by
	170	* the Free Software Foundation, according to version 2 of the License.
	171	*
	172	* Coccinelle is distributed in the hope that it will be useful,
	173	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	174	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	175	* GNU General Public License for more details.
	176	*
	177	* You should have received a copy of the GNU General Public License
	178	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	179	*
	180	* The authors reserve the right to distribute this or future versions of
	181	* Coccinelle under other licenses.
	182	*)
	183
	184
aa721442 C	185	(*
	186	* Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
	187	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	188	* This file is part of Coccinelle.
	189	*
	190	* Coccinelle is free software: you can redistribute it and/or modify
	191	* it under the terms of the GNU General Public License as published by
	192	* the Free Software Foundation, according to version 2 of the License.
	193	*
	194	* Coccinelle is distributed in the hope that it will be useful,
	195	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	196	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	197	* GNU General Public License for more details.
	198	*
	199	* You should have received a copy of the GNU General Public License
	200	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	201	*
	202	* The authors reserve the right to distribute this or future versions of
	203	* Coccinelle under other licenses.
	204	*)
	205
	206
c3e37e97 C	207	(*
	208	* Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
	209	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	210	* This file is part of Coccinelle.
	211	*
	212	* Coccinelle is free software: you can redistribute it and/or modify
	213	* it under the terms of the GNU General Public License as published by
	214	* the Free Software Foundation, according to version 2 of the License.
	215	*
	216	* Coccinelle is distributed in the hope that it will be useful,
	217	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	218	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	219	* GNU General Public License for more details.
	220	*
	221	* You should have received a copy of the GNU General Public License
	222	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	223	*
	224	* The authors reserve the right to distribute this or future versions of
	225	* Coccinelle under other licenses.
	226	*)
	227
	228
55d38388 C	229	(*
	230	* Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
	231	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	232	* This file is part of Coccinelle.
	233	*
	234	* Coccinelle is free software: you can redistribute it and/or modify
	235	* it under the terms of the GNU General Public License as published by
	236	* the Free Software Foundation, according to version 2 of the License.
	237	*
	238	* Coccinelle is distributed in the hope that it will be useful,
	239	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	240	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	241	* GNU General Public License for more details.
	242	*
	243	* You should have received a copy of the GNU General Public License
	244	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	245	*
	246	* The authors reserve the right to distribute this or future versions of
	247	* Coccinelle under other licenses.
	248	*)
	249
	250
ae4735db C	251	(*
	252	* Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
	253	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	254	* This file is part of Coccinelle.
	255	*
	256	* Coccinelle is free software: you can redistribute it and/or modify
	257	* it under the terms of the GNU General Public License as published by
	258	* the Free Software Foundation, according to version 2 of the License.
	259	*
	260	* Coccinelle is distributed in the hope that it will be useful,
	261	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	262	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	263	* GNU General Public License for more details.
	264	*
	265	* You should have received a copy of the GNU General Public License
	266	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	267	*
	268	* The authors reserve the right to distribute this or future versions of
	269	* Coccinelle under other licenses.
	270	*)
	271
	272
9f8e26f4 C	273	(*
	274	* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
	275	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	276	* This file is part of Coccinelle.
	277	*
	278	* Coccinelle is free software: you can redistribute it and/or modify
	279	* it under the terms of the GNU General Public License as published by
	280	* the Free Software Foundation, according to version 2 of the License.
	281	*
	282	* Coccinelle is distributed in the hope that it will be useful,
	283	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	284	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	285	* GNU General Public License for more details.
	286	*
	287	* You should have received a copy of the GNU General Public License
	288	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	289	*
	290	* The authors reserve the right to distribute this or future versions of
	291	* Coccinelle under other licenses.
	292	*)
	293
	294
34e49164	295	let foo_ctl () = failwith "there is no foo_ctl formula"