fix a typo in last commit

parent 6692bbe8
......@@ -237,7 +237,7 @@ synmod ::
-> Rule prd sc ip ic' r ic' (UpdateR AttReco ('Att att t) t r)
synmod att prd f =
\inp (Fam ic sp) ->
Fam ic $ update att Proxy (f inp) sp req ctx (OpUpdate att (f Proxy inp) sp)
Fam ic $ update att Proxy (f inp) sp
synmodM att prd = synmod att prd . runReader
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment