Better support for U; applied uniform formatting

[Mograsim.git] / logicui

diff --git a/logicui b/logicui
index 283477c..32a3d41 160000 (submodule)
--- a/logicui
+++ b/logicui
@@ -1 +1 @@
-Subproject commit 283477cfdb204c58ae85de1070a37ff0a999ab4d
+Subproject commit 32a3d41c11b96c2530c25b6059b4341a8b34a2e2