From 44e7397f55e964cd22fa2597b13dea48598ce5aa Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 10 Mar 2020 20:43:51 +0100
Subject: synth-values: handle Is_Equal for floats.

---
 src/synth/synth-values.adb | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb
index 70569d6a6..bd0fc9f61 100644
--- a/src/synth/synth-values.adb
+++ b/src/synth/synth-values.adb
@@ -142,6 +142,8 @@ package body Synth.Values is
             return True;
          when Value_Const =>
             return Is_Equal (L.C_Val, R.C_Val);
+         when Value_Float =>
+            return L.Fp = R.Fp;
          when others =>
             --  TODO.
             raise Internal_Error;
-- 
cgit v1.2.3