updated

sano-jin · Jul 14, 2024 · ac0a670 · ac0a670
1 parent 8769a3e
commit ac0a670
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/proof-tree/src/lib/prooftree/index.ts b/proof-tree/src/lib/prooftree/index.ts
@@ -28,7 +28,7 @@ interface config {
 const maybe = <T>(x: undefined | T, def: T): T => (x === undefined ? def : x);
 
 // Initialize configuration options with default parameters.
-const initConfig = (cfg: configP) => ({
+const initConfig = (cfg: configP): config => ({
   marginPremises: maybe(cfg.marginPremises, 20),
   paddingAxiomConclusion: maybe(cfg.paddingAxiomConclusion, 20),
   marginLabelLeft: maybe(cfg.marginLabelLeft, 10),