Merge branch 'develop' into _update-deps_runtimeverification_haskell-…

…backend
runtimeverification · Nov 30, 2022 · 7f7c570 · 7f7c570
2 parents 3eab5d5 + 1c527f3
commit 7f7c570
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/user_manual.md b/docs/user_manual.md
@@ -348,7 +348,7 @@ Here, we have that:
 
 -   In frontend K, you can refer to "symbol1" as `#Foo` (from `klabel(#Foo)`),
     and the backend will see `'Hash'Foo` as the symbol name.
--   In frontend K, you can refer to "symbol2" as `Bar` (from `klabel(#Bar)`),
+-   In frontend K, you can refer to "symbol2" as `#Bar` (from `klabel(#Bar)`),
     and the backend will see
     `'Hash'Bar'LParUndsCommUndsRParUnds'MYMODULE'Unds'FooBarBaz'Unds'Int'Unds'Int`
     as the symbol name.