Unverified Commit 5dfd48c0 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Remove debug lines

parent 3135e394
......@@ -16,7 +16,6 @@ export default class HoverProvider {
const word = document.getText(wordPosition);
const fileContents = document.getText();
return VerifpalLib.getKnowledgeMap(fileContents).then((result: string) => {
console.log(word)
const knowledgeMap = JSON.parse(result.toString())
let primitiveInfo = VerifpalLib.primitiveInfo(word);
let queryInfo = VerifpalLib.queryInfo(word);
......
......@@ -32,7 +32,6 @@ export function activate(context: vscode.ExtensionContext) {
let fullRange = new vscode.Range(0, 0, editor.document.lineCount, 0);
return VerifpalLib.getPrettyPrint(fileContents).then((result: string) => {
vscode.window.activeTextEditor!.edit((editBuilder) => {
console.log(result)
editBuilder.replace(fullRange, result);
});
});
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment