From 05f24d4fab21e7a3a0d4c0fd3b6f1688a9ace689 Mon Sep 17 00:00:00 2001
From: Biryuzovye Kleshni <kleshni@protonmail.ch>
Date: Mon, 25 Jun 2018 06:44:39 +0000
Subject: [PATCH] Replaced "readelf"

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 1fa91601..17d6efd4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,4 +10,4 @@ install:
   - make -C src/workprover/fastsolver
 script:
   - src/workprover/test.py
-  - readelf -a src/workprover/fastsolver/libfastsolver.so
+  - nm src/workprover/fastsolver/libfastsolver.so