param "slir" to call the new auto

and "fast paramod" for the constrained narrowing of the goal

diff --git a/helm/software/components/grafite_parser/grafiteParser.ml b/helm/software/components/grafite_parser/grafiteParser.ml
index 2914a8906ae47e1670d9b57a89c0d3db1ef7a002..b35245f9087b92345df0148bbc027c4a5ab91279 100644 (file)
--- 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"