X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/9f8e26f459677a621822918b7539ae94214621ac..ae4735db5e7e9386036cf7b496ebdc994514dc53:/menhirlib/engine.ml diff --git a/menhirlib/engine.ml b/menhirlib/engine.ml index f66c29c..53a101e 100644 --- a/menhirlib/engine.ml +++ b/menhirlib/engine.ml @@ -82,7 +82,7 @@ module Make (T : TABLE) = struct let rec run env please_discard : void = (* Log the fact that we just entered this state. *) - + let s = env.current in Log.state s;