path: root/test-suite/bugs/closed/bug_12257.v

(* Test that ExtrHaskellString transitively requires ExtrHaskellBasic *)
Require Coq.extraction.ExtrHaskellString.
Import Coq.extraction.ExtrHaskellBasic.