2 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
3 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
4 * This file is part of Coccinelle.
6 * Coccinelle is free software: you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, according to version 2 of the License.
10 * Coccinelle is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
18 * The authors reserve the right to distribute this or future versions of
19 * Coccinelle under other licenses.
24 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
25 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
26 * This file is part of Coccinelle.
28 * Coccinelle is free software: you can redistribute it and/or modify
29 * it under the terms of the GNU General Public License as published by
30 * the Free Software Foundation, according to version 2 of the License.
32 * Coccinelle is distributed in the hope that it will be useful,
33 * but WITHOUT ANY WARRANTY; without even the implied warranty of
34 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
35 * GNU General Public License for more details.
37 * You should have received a copy of the GNU General Public License
38 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
40 * The authors reserve the right to distribute this or future versions of
41 * Coccinelle under other licenses.
46 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
47 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
48 * This file is part of Coccinelle.
50 * Coccinelle is free software: you can redistribute it and/or modify
51 * it under the terms of the GNU General Public License as published by
52 * the Free Software Foundation, according to version 2 of the License.
54 * Coccinelle is distributed in the hope that it will be useful,
55 * but WITHOUT ANY WARRANTY; without even the implied warranty of
56 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
57 * GNU General Public License for more details.
59 * You should have received a copy of the GNU General Public License
60 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
62 * The authors reserve the right to distribute this or future versions of
63 * Coccinelle under other licenses.
68 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
69 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
70 * This file is part of Coccinelle.
72 * Coccinelle is free software: you can redistribute it and/or modify
73 * it under the terms of the GNU General Public License as published by
74 * the Free Software Foundation, according to version 2 of the License.
76 * Coccinelle is distributed in the hope that it will be useful,
77 * but WITHOUT ANY WARRANTY; without even the implied warranty of
78 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
79 * GNU General Public License for more details.
81 * You should have received a copy of the GNU General Public License
82 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
84 * The authors reserve the right to distribute this or future versions of
85 * Coccinelle under other licenses.
90 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
91 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
92 * This file is part of Coccinelle.
94 * Coccinelle is free software: you can redistribute it and/or modify
95 * it under the terms of the GNU General Public License as published by
96 * the Free Software Foundation, according to version 2 of the License.
98 * Coccinelle is distributed in the hope that it will be useful,
99 * but WITHOUT ANY WARRANTY; without even the implied warranty of
100 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
101 * GNU General Public License for more details.
103 * You should have received a copy of the GNU General Public License
104 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
106 * The authors reserve the right to distribute this or future versions of
107 * Coccinelle under other licenses.
112 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
113 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
114 * This file is part of Coccinelle.
116 * Coccinelle is free software: you can redistribute it and/or modify
117 * it under the terms of the GNU General Public License as published by
118 * the Free Software Foundation, according to version 2 of the License.
120 * Coccinelle is distributed in the hope that it will be useful,
121 * but WITHOUT ANY WARRANTY; without even the implied warranty of
122 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
123 * GNU General Public License for more details.
125 * You should have received a copy of the GNU General Public License
126 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
128 * The authors reserve the right to distribute this or future versions of
129 * Coccinelle under other licenses.
134 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
135 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
136 * This file is part of Coccinelle.
138 * Coccinelle is free software: you can redistribute it and/or modify
139 * it under the terms of the GNU General Public License as published by
140 * the Free Software Foundation, according to version 2 of the License.
142 * Coccinelle is distributed in the hope that it will be useful,
143 * but WITHOUT ANY WARRANTY; without even the implied warranty of
144 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
145 * GNU General Public License for more details.
147 * You should have received a copy of the GNU General Public License
148 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
150 * The authors reserve the right to distribute this or future versions of
151 * Coccinelle under other licenses.
156 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
157 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
158 * This file is part of Coccinelle.
160 * Coccinelle is free software: you can redistribute it and/or modify
161 * it under the terms of the GNU General Public License as published by
162 * the Free Software Foundation, according to version 2 of the License.
164 * Coccinelle is distributed in the hope that it will be useful,
165 * but WITHOUT ANY WARRANTY; without even the implied warranty of
166 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
167 * GNU General Public License for more details.
169 * You should have received a copy of the GNU General Public License
170 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
172 * The authors reserve the right to distribute this or future versions of
173 * Coccinelle under other licenses.
178 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
179 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
180 * This file is part of Coccinelle.
182 * Coccinelle is free software: you can redistribute it and/or modify
183 * it under the terms of the GNU General Public License as published by
184 * the Free Software Foundation, according to version 2 of the License.
186 * Coccinelle is distributed in the hope that it will be useful,
187 * but WITHOUT ANY WARRANTY; without even the implied warranty of
188 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
189 * GNU General Public License for more details.
191 * You should have received a copy of the GNU General Public License
192 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
194 * The authors reserve the right to distribute this or future versions of
195 * Coccinelle under other licenses.
199 let foo_ctl () = failwith
"there is no foo_ctl formula"