Skip to content

why3
why3
Commit 3381f60d authored by MARCHE Claude's avatar MARCHE Claude
Browse files
Options

mistake in yices driver

parent 09be18c5
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 3 deletions
drivers/yices.drv
View file @ 3381f60d
......@@ -146,9 +146,6 @@ theory map.Map
syntax function set "(update %1 (%2) %3)"
syntax function ([<-]) "(update %1 (%2) %3)"
end
theory map.Const
meta "encoding : lskept" function const
......
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