Revert "fix DH-neutral"

This reverts commit e22a24f.
yavivanov · Sep 23, 2022 · 565626b · 565626b
1 parent e22a24f
commit 565626b
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" ]