From b8d09076cfeb124bfaa6e1c3f0f37e3df1b1b516 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 16 Jun 2021 14:04:09 -0700 Subject: Make symfpu a required dependency. (#6749) --- examples/api/java/FloatingPointArith.java | 7 ------- 1 file changed, 7 deletions(-) (limited to 'examples/api/java/FloatingPointArith.java') diff --git a/examples/api/java/FloatingPointArith.java b/examples/api/java/FloatingPointArith.java index 61ab18148..46f8b8330 100644 --- a/examples/api/java/FloatingPointArith.java +++ b/examples/api/java/FloatingPointArith.java @@ -27,13 +27,6 @@ public class FloatingPointArith { System.loadLibrary("cvc4jni"); // Test whether CVC4 was built with floating-point support - if (!Configuration.isBuiltWithSymFPU()) { - System.out.println("CVC4 was built without floating-point support."); - System.out.println("Configure with --symfpu and rebuild CVC4 to run"); - System.out.println("this example."); - System.exit(77); - } - ExprManager em = new ExprManager(); SmtEngine smt = new SmtEngine(em); -- cgit v1.2.3