diff options
Diffstat (limited to 'test/builtins/test.v')
| -rw-r--r-- | test/builtins/test.v | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/builtins/test.v b/test/builtins/test.v index 64c5bf10..4290d8ff 100644 --- a/test/builtins/test.v +++ b/test/builtins/test.v @@ -1,5 +1,4 @@ -Require Import Sail2_state_monad. -Require Import Sail2_state_lifting. +From Sail Require Import State_monad State_lifting. Require Import String. Require Import List. Import ListNotations. |