more index visualiser tweaks

sdcondon · Aug 1, 2024 · b5b8487 · b5b8487
1 parent bf2a6f6
commit b5b8487
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/src/SCFirstOrderLogic.Documentation/Razor/Pages/lab/DiscriminationTreeVisualiser.razor b/src/SCFirstOrderLogic.Documentation/Razor/Pages/lab/DiscriminationTreeVisualiser.razor
@@ -146,8 +146,6 @@
 
         public string Term { get; set; }
 
-        public string SubmitType { get; set; }
-
         public IEnumerable<ValidationResult> Validate(ValidationContext validationContext)
         {
             // Yes, could cache the parse results to avoid parsing multiple times, but not worth it for now at least.

diff --git a/src/SCFirstOrderLogic.Documentation/Razor/Pages/lab/PathTreeVisualiser.razor b/src/SCFirstOrderLogic.Documentation/Razor/Pages/lab/PathTreeVisualiser.razor
@@ -156,8 +156,6 @@
 
         public string Term { get; set; }
 
-        public string SubmitType { get; set; }
-
         public IEnumerable<ValidationResult> Validate(ValidationContext validationContext)
         {
             // Yes, could cache the parse results to avoid parsing multiple times, but not worth it for now at least.