Skip to content

Commit

Permalink
Register STX_register_library Statix primitive
Browse files Browse the repository at this point in the history
  • Loading branch information
Virtlink committed May 23, 2024
1 parent 0642b77 commit 295f126
Showing 1 changed file with 2 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@
import mb.statix.spoofax.STX_labelord_lt;
import mb.statix.spoofax.STX_labelre_to_states;
import mb.statix.spoofax.STX_ords_to_relation;
import mb.statix.spoofax.STX_register_library;
import mb.statix.spoofax.STX_solve_constraint;
import mb.statix.spoofax.STX_solve_constraint_concurrent;
import mb.statix.spoofax.STX_solve_multi;
Expand Down Expand Up @@ -50,6 +51,7 @@ public StatixPrimitiveLibrary() {
add(new STX_solve_multi_project());
add(new STX_test_log_level());
add(new STX_incremental_diagnostics());
add(new STX_register_library());

add(new STX_labelre_to_states(""));
add(new STX_ords_to_relation());
Expand Down

0 comments on commit 295f126

Please sign in to comment.