Remove unused config option 'enable-parameters'

runtimeverification · Jan 10, 2025 · fa9f0b6 · fa9f0b6
1 parent f7186d0
commit fa9f0b6
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/CodelensProvider.ts b/src/CodelensProvider.ts
@@ -58,7 +58,6 @@ export class CodelensProvider implements vscode.CodeLensProvider {
   }
 
   private getFunctions(ast: any): [ContractDefinition, FunctionDefinition][] {
-    const enableParameters = getConfigValue('enable-parameters', false);
     const results: [ContractDefinition, FunctionDefinition][] = [];
     parser.visit(ast, {
       ContractDefinition: contract => {
@@ -73,12 +72,12 @@ export class CodelensProvider implements vscode.CodeLensProvider {
             }
           },
         });
-        if (enableParameters || !hasConstructorArgs) {
+        if (!hasConstructorArgs) {
           parser.visit(contract, {
             FunctionDefinition: fn => {
               if (
                 this.isExecutable(fn) &&
-                (enableParameters || fn.parameters.length === 0)
+                fn.parameters.length === 0
               ) {
                 results.push([contract, fn]);
               }