From 73808161f2c037257f789a462ace70ba494ba6f6 Mon Sep 17 00:00:00 2001 From: Ken Monks Date: Sun, 1 Dec 2024 14:22:08 -0800 Subject: [PATCH] Reverting this change as it prevents Theorems from getting feedback. --- lurchmath/validation-worker.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/lurchmath/validation-worker.js b/lurchmath/validation-worker.js index 297bf55c..e4189b7e 100644 --- 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 }