From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 16 May 2017 21:26:26 +0000 (-0600)
Subject: add unwrap to var lookup in fixtures
X-Git-Tag: v0.8.110~730
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=950a6ec57c0359f09c4aa73477b5d0f8212aae4e;p=scryer-prolog.git

add unwrap to var lookup in fixtures
---

diff --git a/src/prolog/fixtures.rs b/src/prolog/fixtures.rs
index dc0fe372..32f6bb81 100644
--- a/src/prolog/fixtures.rs
+++ b/src/prolog/fixtures.rs
@@ -125,8 +125,8 @@ impl<'a> VariableFixtures<'a>
             }
 
             // 3.
-            match self.get_mut(u) {
-                Some(&mut (VarStatus::Temp(_, ref mut u_data), _)) => {
+            match self.get_mut(u).unwrap() {
+                &mut (VarStatus::Temp(_, ref mut u_data), _) => {
                     u_data.use_set = use_set;
                     u_data.populate_conflict_set();
                 },