From 7bfbdaaebc5e158f1c78d0923e66276fe524c575 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?ethan=20=EF=A3=BF?= Date: Fri, 8 Sep 2023 23:30:17 +0100 Subject: [PATCH] Update unison-cli/src/Unison/CommandLine/InputPatterns.hs Co-authored-by: Chris Penner --- unison-cli/src/Unison/CommandLine/InputPatterns.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unison-cli/src/Unison/CommandLine/InputPatterns.hs b/unison-cli/src/Unison/CommandLine/InputPatterns.hs index 3371a0643f..8172b5d792 100644 --- a/unison-cli/src/Unison/CommandLine/InputPatterns.hs +++ b/unison-cli/src/Unison/CommandLine/InputPatterns.hs @@ -724,7 +724,7 @@ delete :: InputPattern delete = deleteGen Nothing exactDefinitionTermQueryArg "term or type" (DeleteTarget'TermOrType DeleteOutput'NoDiff) deleteVerbose :: InputPattern -deleteVerbose = deleteGen (Just "verbose") exactDefinitionTermQueryArg "term or type" (DeleteTarget'TermOrType DeleteOutput'Diff) +deleteVerbose = deleteGen (Just "verbose") exactDefinitionArg "term or type" (DeleteTarget'TermOrType DeleteOutput'Diff) deleteTerm :: InputPattern deleteTerm = deleteGen (Just "term") exactDefinitionTermQueryArg "term" (DeleteTarget'Term DeleteOutput'NoDiff)