Remove abs from vscode completion

Shon Feder · Shon Feder · commit 68d1322038db · 2024-02-29T13:45:40.000-05:00
diff --git a/vscode/quint-vscode/server/src/complete.ts b/vscode/quint-vscode/server/src/complete.ts
@@ -219,7 +219,6 @@ function getSuggestedBuiltinsForType(type: QuintType): { name: string }[] {
     case 'oper': // no suggestions from here on
     case 'var':
     case 'sum':
-    case 'abs':
     case 'app':
       return []
   }

Original file line number	Diff line number	Diff line change
`@@ -219,7 +219,6 @@ function getSuggestedBuiltinsForType(type: QuintType): { name: string }[] {`
`219`	`219`	`case 'oper': // no suggestions from here on`
`220`	`220`	`case 'var':`
`221`	`221`	`case 'sum':`
`222`		`- case 'abs':`
`223`	`222`	`case 'app':`
`224`	`223`	`return []`
`225`	`224`	`}`