From 0bf4c8582574b9c7bea43547d75b87c85fdee1e1 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Wed, 4 Nov 2020 22:40:19 +0100
Subject: Smart scheduler build problem and flatten solution OK

---
 aarch64/TargetPrinter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'aarch64/TargetPrinter.ml')

diff --git a/aarch64/TargetPrinter.ml b/aarch64/TargetPrinter.ml
index a5b1465b..324bd727 100644
--- a/aarch64/TargetPrinter.ml
+++ b/aarch64/TargetPrinter.ml
@@ -38,7 +38,7 @@ let is_immediate_float32 bits =
 
 (* Module containing the printing functions *)
 
-module Target : TARGET =
+module Target (*: TARGET*) =
   struct
 
 (* Basic printing functions *)
-- 
cgit