fix: typo in refactor

alexkeizer · Jun 26, 2024 · 33b6353 · 33b6353
1 parent 445a7a2
commit 33b6353
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Qpf/Macro/Data/Replace.lean b/Qpf/Macro/Data/Replace.lean
@@ -201,7 +201,7 @@ Replace.run <| do
 
     let type? ← ctor.type?.mapM $ shapeOf'
 
-    pure $ (CtorView.withType? ctor type?, ←CtorArgs.get)
+    pure ({ ctor with type? }, ←CtorArgs.get)
 
   let r ← StateT.get
   let ctors := pairs.map Prod.fst;