From e101f2b46a9c660e0067e4e3467424655dece0ae Mon Sep 17 00:00:00 2001 From: Valentin Robert Date: Mon, 19 Apr 2021 10:11:16 -0700 Subject: [PATCH] saw-core-coq: fix handwritten files --- .../handwritten/CryptolToCoq/CryptolPrimitivesForSAWCoreExtra.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/saw-core-coq/coq/handwritten/CryptolToCoq/CryptolPrimitivesForSAWCoreExtra.v b/saw-core-coq/coq/handwritten/CryptolToCoq/CryptolPrimitivesForSAWCoreExtra.v index f9c06ece50..46ed0cfa92 100644 --- a/saw-core-coq/coq/handwritten/CryptolToCoq/CryptolPrimitivesForSAWCoreExtra.v +++ b/saw-core-coq/coq/handwritten/CryptolToCoq/CryptolPrimitivesForSAWCoreExtra.v @@ -10,7 +10,7 @@ Import SAWCorePrelude. From CryptolToCoq Require Import SAWCorePreludeExtra. From CryptolToCoq Require Import SAWCoreVectorsAsCoqVectors. From CryptolToCoq Require Import CryptolPrimitivesForSAWCore. -Import CryptolPrimitives. +Import CryptolPrimitivesForSAWCore. Import ListNotations.