fix number not recognizing floats
@@ -3250,6 +3250,9 @@ pub fn execute_inlined(&mut self, inlined: &InlinedClauseType) {
self.fail = true;
}
}
+ Ok(Number::Float(_)) => {
+ self.p += 1;
+ }
_ => {
self.fail = true;
}
