remove unused import of hoare module

c36ae2bd · Ralf Jung · 3047110d · c36ae2bd
Commit c36ae2bd authored 4 years ago by Ralf Jung
--- a/theories/lang/races.v
+++ b/theories/lang/races.v
 From stdpp Require Import gmap.
-From iris.program_logic Require Export hoare.
 From iris.program_logic Require Import adequacy.
 From lrust.lang Require Import tactics.
 Set Default Proof Using "Type".