Submodule updates.

nyu-systems · Jun 29, 2024 · c94fe1f · c94fe1f
1 parent a3dd1f8
commit c94fe1f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/modules/p4c b/modules/p4c
diff --git a/modules/toz3 b/modules/toz3
+2 −2		pruner/src/compiler_pruner.cpp
+1 −3		pruner/src/replace_variables.cpp