(**
 * purity.ml
 * openkappa
 * Jérôme Feret, projet Abstraction, INRIA Paris-Rocquencourt
 *
 * Creation: 01/02/2011
 * Last modification: Time-stamp: <Aug 06 2016>
 * *
 * Check that the input is written in pure Kappa
 *
 * Copyright 2010,2011 Institut National de Recherche en Informatique et
 * en Automatique.  All rights reserved.  This file is distributed
 * under the terms of the GNU Library General Public License *)

let local_trace = false
