; generated by drom from package skeleton 'library'

(library
  (name psmt2Frontend)
  (public_name psmt2-frontend)
  (wrapped true)
  (libraries  )
  
  
  )

(ocamllex smtlib_lexer)
(menhir (modules smtlib_parser))

(documentation
  (package psmt2-frontend))

