← Back to branch summary

~ubuntu-branches/ubuntu/trusty/coccinelle/trusty-proposed

« back to all changes in this revision

Viewing changes to engine/ctlcocci_integration.mli

  • Committer: Bazaar Package Importer
  • Author(s): Bhavani Shankar
  • Date: 2010-01-31 22:30:19 UTC
  • mfrom: (7.1.3 sid)
  • Revision ID: james.westby@ubuntu.com-20100131223019-hbq02ip17tn17n52
Tags: 0.2.0.deb-1ubuntu1
https://launchpad.net/bugs/515198
* Merge from debian testing (LP: #515198).Remaining changes:
  - debian/control: build-depend on python2.6-dev,
    set XB-Python-Version to 2.6

Show diffs side-by-side

added added

removed removed

Lines of Context:
engine/ctlcocci_integration.mli
 
1
(*
 
2
 * Copyright 2005-2009, 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.
 
5
 *
 
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.
 
9
 *
 
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.
 
14
 *
 
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/>.
 
17
 *
 
18
 * The authors reserve the right to distribute this or future versions of
 
19
 * Coccinelle under other licenses.
 
20
 *)
 
21
 
 
22
 
1
23
open Ograph_extended 
2
24
 
3
25
val labels_for_ctl :