implement the Memory ADT trait for a variable address length

Cosmian · Jan 30, 2025 · 00e823b · 00e823b
1 parent e15b415
commit 00e823b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/memory/redis_store.rs b/src/memory/redis_store.rs
@@ -2,7 +2,7 @@ use std::{fmt, marker::PhantomData};
 
 use redis::{RedisError, aio::ConnectionManager};
 
-use crate::{ADDRESS_LENGTH, Address, MemoryADT};
+use crate::{Address, MemoryADT};
 
 // Arguments passed to the LUA script, in order:
 // 1. Guard address.
@@ -85,7 +85,7 @@ impl<Address: Sync, Word: Sync> RedisMemory<Address, Word> {
     }
 }
 
-impl<const WORD_LENGTH: usize> MemoryADT
+impl<const ADDRESS_LENGTH: usize, const WORD_LENGTH: usize> MemoryADT
     for RedisMemory<Address<ADDRESS_LENGTH>, [u8; WORD_LENGTH]>
 {
     type Address = Address<ADDRESS_LENGTH>;