From 4e08a3233ed94d1422f7ba0a10503b93183bb321 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 10 Feb 2014 08:33:07 -0800 Subject: [PATCH] fix(builtin): build dependency issue Signed-off-by: Leonardo de Moura --- src/builtin/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/builtin/CMakeLists.txt b/src/builtin/CMakeLists.txt index ba32e2edb..6e6c97b62 100644 --- a/src/builtin/CMakeLists.txt +++ b/src/builtin/CMakeLists.txt @@ -96,7 +96,7 @@ add_theory("specialfn.lean" "${CMAKE_CURRENT_BINARY_DIR}/Real.olean") add_theory("subtype.lean" "${CMAKE_CURRENT_BINARY_DIR}/Nat.olean") add_theory("optional.lean" "${CMAKE_CURRENT_BINARY_DIR}/subtype.olean") add_theory("sum.lean" "${CMAKE_CURRENT_BINARY_DIR}/optional.olean") -add_theory("num.lean" "${CMAKE_CURRENT_BINARY_DIR}/Nat.olean") +add_theory("num.lean" "${CMAKE_CURRENT_BINARY_DIR}/subtype.olean") update_interface("kernel.olean" "kernel" "-n") update_interface("Nat.olean" "library/arith" "-n")