Commit f69ee31e authored by MARCHE Claude's avatar MARCHE Claude

preserve former smt-libv2 driver for backward compatibility

parent 230d4f2b
(* preserve former smt-libv2 driver for backward compatibility *)
import "smt-libv2.gen"
printer "smtv2"
\ No newline at end of file
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