summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-27 11:25:42 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-27 11:25:42 +0200
commit51edef030be94b7aa23631f7e40225c60878473f (patch)
treef72e0167943e611f469e0600eadabb3b683519bd /ast-to-instr/src/Main.java
parent3c5e716206f1a1161c5b28e6567987f6e74061e8 (diff)
First shot at depths operators.
Diffstat (limited to 'ast-to-instr/src/Main.java')
-rw-r--r--ast-to-instr/src/Main.java2
1 files changed, 2 insertions, 0 deletions
diff --git a/ast-to-instr/src/Main.java b/ast-to-instr/src/Main.java
index 5bc45a0..0e24f57 100644
--- a/ast-to-instr/src/Main.java
+++ b/ast-to-instr/src/Main.java
@@ -87,6 +87,8 @@ public class Main
parse_content(vhdl_files);
+ Depths.generate_predicates();
+
OutputFile.close_all();
}