Skip to content
Snippets Groups Projects
Commit 08e67ade authored by Russel Arbore's avatar Russel Arbore
Browse files

sigh

parent 00154685
No related branches found
No related tags found
1 merge request!225BFS optimization
Pipeline #202093 passed
...@@ -31,8 +31,6 @@ predication(*); ...@@ -31,8 +31,6 @@ predication(*);
simpl!(*); simpl!(*);
reduce-slf(*); reduce-slf(*);
simpl!(*); simpl!(*);
slf(*);
simpl!(*);
fixpoint { fixpoint {
forkify(collect); forkify(collect);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment