MISC: Remove unused properties of source file (#1424)

This commit is contained in:
catloversg 2024-06-25 10:34:56 +07:00 committed by GitHub
parent 49668f10b2
commit 48bebeea2b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 0 additions and 4 deletions

@ -2,10 +2,8 @@ import { BitNodes } from "../BitNode/BitNode";
export class SourceFile {
info: JSX.Element;
lvl = 1;
n: number;
name: string;
owned = false;
constructor(number: number, info: JSX.Element) {
const bitnodeKey = "BitNode" + number;

@ -174,6 +174,4 @@ export function applySourceFile(bn: number, lvl: number): void {
console.error(`Invalid source file number: ${bn}`);
break;
}
sourceFileObject.owned = true;
}