From 68b13bbcf487f7575d5f04f6b2c23aa9ef02409b Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Wed, 9 Dec 2009 16:07:57 +0000
Subject: [PATCH] param "slir" to call the new auto and "fast paramod" for the
 constrained narrowing of the goal

---
 helm/software/components/grafite_parser/grafiteParser.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helm/software/components/grafite_parser/grafiteParser.ml b/helm/software/components/grafite_parser/grafiteParser.ml
index 2914a8906..b35245f90 100644
--- a/helm/software/components/grafite_parser/grafiteParser.ml
+++ b/helm/software/components/grafite_parser/grafiteParser.ml
@@ -478,6 +478,8 @@ EXTEND
 ];
   auto_fixed_param: [
    [ IDENT "paramodulation"
+   | IDENT "fast_paramod"
+   | IDENT "slir"
    | IDENT "depth"
    | IDENT "width"
    | IDENT "size"
-- 
2.39.2