typo

marcusrossel · Jan 6, 2025 · 5b3f6d9 · 5b3f6d9
1 parent 36102f1
commit 5b3f6d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Lean/Egg/Core/Request/Synth.lean b/Lean/Egg/Core/Request/Synth.lean
@@ -14,7 +14,7 @@ def parse (s: String) : MetaM Expr := do
 
   | .error _ => throwError "meh"
 
-@[export is_synthable]
+@[export lean_is_synthable]
 def isSynthable (ty : String) : MetaM Bool := do
   let ty_expr ← parse ty
   let opt ← Meta.synthInstance? ty_expr