Reverting this change as it prevents Theorems from getting feedback.

kenmonks · Dec 1, 2024 · 7380816 · 7380816
1 parent 637a00d
commit 7380816
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/lurchmath/validation-worker.js b/lurchmath/validation-worker.js
@@ -99,11 +99,6 @@ const getValidationResults = LC => {
     // Final result is the prop validation result, if any
     const propResult = LDE.Validation.result( LC )
     if ( propResult )
-        // as a temporary hack we change the result of a preemie from 'invalid'
-        // to 'indeterminate' because that's more accurate.  But we only do this
-        // for the UI since the test files would have to be regenerated if we
-        // make it return that in the first place.
-        if (propResult.reason==='preemie') propResult.result='indeterminate' 
         results.push( { type : 'propositional', ...propResult } )
     return results
 }