From: Skgland <bb-github@t-online.de>
Date: Fri, 26 Feb 2021 00:03:05 +0000 (+0100)
Subject: fix CI lib build with beta compiler
X-Git-Tag: v0.9.0~150^2~7^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=90256ea2f53add821e115c7f8fb70b32b6353474;p=scryer-prolog.git

fix CI lib build with beta compiler
---

diff --git a/src/indexing.rs b/src/indexing.rs
index be6d7260..286f618a 100644
--- a/src/indexing.rs
+++ b/src/indexing.rs
@@ -28,6 +28,7 @@ pub(crate) enum IndexingCodePtr {
 enum OptArgIndexKeyType {
     Structure,
     Constant,
+    #[allow(dead_code)]
     List,
 }