forgot to comment

tamarin-prover · Aug 2, 2024 · 98cef36 · 98cef36
1 parent 3d2fbe3
commit 98cef36
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/symbol_table/create_symbol_table.ts b/src/symbol_table/create_symbol_table.ts
@@ -369,7 +369,7 @@ class SymbolTableVisitor{
             else if( child?.grammarType === DeclarationType.Rule_let_block){
                 this.register_vars_rule(child, DeclarationType.PRVariable, editor, root)
             }
-            else if (child?.grammarType === 'include'){
+            /*else if (child?.grammarType === 'include'){
                 const fileName = getName(child.child(2), editor);
                 const currentFileDir = path.dirname(editor.document.uri.fsPath);
                 const filePath = path.join(currentFileDir, fileName);
@@ -402,15 +402,15 @@ class SymbolTableVisitor{
                         throw new Error('Method not implemented.');
                     }
                 };
-
+                
                 if (includedEditor) {
                     const includedFileContent = await vscode.workspace.fs.readFile(includedFileUri);
                     const includedFileText = includedFileContent.toString();
 
                     const tree_root = await parseText(includedFileText);
                     await this.visit(tree_root, includedEditor, diags);
                 }
-            }
+            }*/
             else{
                 if(child !== null){
                     await this.visit(child, editor, diags);