Incorporate codegen improvements from GaloisInc/copilot-1#6

RyanGlScott · RyanGlScott · commit fae2d7df41f7 · 2021-11-15T14:24:50.000-05:00
diff --git a/deps/copilot b/deps/copilot
@@ -1 +1 @@
-Subproject commit 34f6d1062fd034e95e030226afd5a40b942f59d8
+Subproject commit f3248632dd49a95ec5727c8bfa3b4d36d902c068
