From 01c2e94a38f91af008e21a7be998da2db34ade03 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 3 Oct 2020 20:33:11 +0100
Subject: Fix dune file as well

---
 dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune b/dune
index 9d7272fc..2acf499d 100644
--- a/dune
+++ b/dune
@@ -1 +1 @@
-(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction)
+(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction x86 x86_64)
-- 
cgit