From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 22 Nov 2021 07:17:45 +0000 (-0700)
Subject: fix number not recognizing floats
X-Git-Tag: v0.9.0^2~123
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bc613eeff92959a752c8b55cb65fd8c1add65866;p=scryer-prolog.git

fix number not recognizing floats
---

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 00556078..b0416b1d 100644
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -3250,6 +3250,9 @@ impl MachineState {
                             self.fail = true;
                         }
                     }
+                    Ok(Number::Float(_)) => {
+                        self.p += 1;
+                    }
                     _ => {
                         self.fail = true;
                     }