(executable
 (name menhir_recover)
 (flags :standard -open StdLabels)
 (libraries fix menhirLib menhirSdk))
