fix DH-neutral

yavivanov · Sep 23, 2022 · e22a24f · e22a24f
1 parent d9d192f
commit e22a24f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/term/src/Term/Maude/Parser.hs b/lib/term/src/Term/Maude/Parser.hs
@@ -184,7 +184,7 @@ ppTheory msig = BC.unlines $
     (if enableDH msig
        then
        [ theoryOpEq "one : -> Msg"
-       , theoryOpEq "DH_neutral  : -> Msg"       
+       , theoryOpEq "DH-neutral  : -> Msg"       
        , theoryOpEq "exp : Msg Msg -> Msg"
        , theoryOpAC "mult : Msg Msg -> Msg [comm assoc]"
        , theoryOpEq "inv : Msg -> Msg" ]