output something else

nevillegrech · Jan 16, 2019 · 16f44c4 · 16f44c4
1 parent 5607bf1
commit 16f44c4
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/logic/decompiler_output.dl b/logic/decompiler_output.dl
@@ -6,12 +6,11 @@
 // re-formatted for use by clients), statistics, debugging relations.
 
 
-
+// usefule intermediate outputs
 .output OpcodePossiblyHalts
-
 .output IRBlockEdge
-
 .output PublicFunction
+.output Statement_IRStatement
 
 .decl Exit(block:IRBlock)
 
@@ -116,7 +115,6 @@ TAC_Op(irstmt, op) :-
    !REVERT(stmt),
    !INVALID(stmt).
 
-
 TAC_Op(irstmt, "CONST") :-
    Statement_IRStatement(stmt, irstmt),
    (PushValue(stmt, _) ; PC(stmt)).