Commit 40e64c10 authored by Kai-Oliver Prott's avatar Kai-Oliver Prott Committed by Finn Teegen
Browse files

Fix ambiguous target option

parent d7c80601
......@@ -430,7 +430,7 @@ options =
"generate FlatCurry code"
, targetOption TypedFlatCurry "typed-flat"
"generate typed FlatCurry code"
, targetOption TypeAnnotatedFlatCurry "typed-flat"
, targetOption TypeAnnotatedFlatCurry "type-annotated-flat"
"generate type-annotated FlatCurry code"
, targetOption AbstractCurry "acy"
"generate typed AbstractCurry"
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