Skip to content
This repository has been archived by the owner on Mar 24, 2023. It is now read-only.

Commit

Permalink
Fix SMT initial min and max NSID to use 8 bytes. (#130)
Browse files Browse the repository at this point in the history
  • Loading branch information
adlerjohn authored Feb 20, 2021
1 parent 8977c91 commit 9c10125
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions specs/data_structures.md
Original file line number Diff line number Diff line change
Expand Up @@ -313,8 +313,8 @@ Nodes contain three fields:

The base case (an empty tree) is defined as:
```C++
node.n_min = 0x0000000000000000000000000000000000000000000000000000000000000000
node.n_max = 0x0000000000000000000000000000000000000000000000000000000000000000
node.n_min = 0x0000000000000000
node.n_max = 0x0000000000000000
node.v = 0xe3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
```

Expand Down

0 comments on commit 9c10125

Please sign in to comment.