From 6133877fc097412233a60740fdf94374abb79559 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Wed, 20 Feb 2019 18:00:04 +0100
Subject: Add primitive floats to checker

---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index ed4cde2b16..f9286c9635 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -566,7 +566,7 @@ $(FAKEIDEBYTE): $(FAKEIDECMO) | $(IDETOPBYTE)
 
 # votour: a small vo explorer (based on the checker)
 
-VOTOURCMO:=clib/cObj.cmo kernel/uint63.cmo checker/analyze.cmo checker/values.cmo checker/votour.cmo
+VOTOURCMO:=clib/cObj.cmo kernel/uint63.cmo kernel/float64.cmo checker/analyze.cmo checker/values.cmo checker/votour.cmo
 
 bin/votour: $(call bestobj, $(VOTOURCMO))
 	$(SHOW)'OCAMLBEST -o $@'
-- 
cgit v1.2.3