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