rm nomThick'

JacquesCarette · Jun 25, 2024 · e4586e2 · e4586e2
1 parent 6d347ac
commit e4586e2
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/code/drasil-example/glassbr/lib/Drasil/GlassBR/Unitals.hs b/code/drasil-example/glassbr/lib/Drasil/GlassBR/Unitals.hs
@@ -104,15 +104,9 @@ standOffDist = uq (constrained' (uc sD (variable "SD") Real metre)
   [ gtZeroConstr,
     sfwrc $ Bounded (Inc, sy sdMin) (Inc, sy sdMax)] (exactDbl 45)) defaultUncrt
 
-nomThick' :: ConstrainedChunk
-nomThick' = cuc "nomThick" 
-  (nounPhraseSent $ S "nominal thickness")
-  lT millimetre Rational 
-  [] $ exactDbl 0
-
 nomThick = cuc "nomThick" 
   (nounPhraseSent $ S "nominal thickness" +:+ displayDblConstrntsAsSet 
-    nomThick' nominalThicknesses)
+    (mkQuant "nomThick" (nounPhraseSent $ S "nominal thickness") lT Rational Nothing Nothing) nominalThicknesses)
   lT millimetre {-Discrete nominalThicknesses, but not implemented-} Rational 
   [{- TODO: add back constraint: enumc nominalThicknesses -}] $ exactDbl 8