Autoformat

This commit is contained in:
Robert Marsh
2022-03-29 16:23:57 -04:00
parent 3c1ec5a595
commit 9442be1a27
3 changed files with 3 additions and 5 deletions

View File

@@ -34,7 +34,7 @@ module Raw {
cached
predicate functionHasIR(Function func) { exists(getTranslatedFunction(func)) }
cached
predicate varHasIRFunc(GlobalOrNamespaceVariable var) { any() } // TODO: restrict?

View File

@@ -955,4 +955,4 @@ abstract class TranslatedRootElement extends TranslatedElement {
or
this instanceof TTranslatedGlobalOrNamespaceVarInit
}
}
}