Skip to content

Commit

Permalink
Misc: allow unknown args when finding prefix
Browse files Browse the repository at this point in the history
  • Loading branch information
aarani authored and knocte committed Oct 31, 2023
1 parent a08d387 commit 2737eea
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Fsdk/Misc.fs
Original file line number Diff line number Diff line change
Expand Up @@ -838,7 +838,7 @@ module Misc =
GatherPrefix(head.Substring prefixArgWithEquals.Length)
)
else
failwithf "argument not recognized: %s" head
GatherOrGetDefaultPrefix(tail, false, prefixSet)


let ReplaceTextInFile
Expand Down

0 comments on commit 2737eea

Please sign in to comment.