KiCS-0.9.1: src/lib/debugOptions.hs

import Curry.Files.KiCSDebugPath

main = do
  p <- getProphecy 
  m <- getMkstrict
  o <- getOracleLibDir
  print (debugVersion,p,m,o)