modify client api to include template

leanprover-community · Aug 25, 2023 · 8be7f2f · 8be7f2f
1 parent b6ea453
commit 8be7f2f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/client/src/state/api.ts b/client/src/state/api.ts
@@ -33,7 +33,8 @@ export interface LevelInfo {
   descrText: null|string,
   descrFormat: null|string,
   lemmaTab: null|string,
-  statementName: null|string
+  statementName: null|string,
+  template: null|string
 }
 
 /** Used to display the inventory on the welcome page */