Use python3.7 instead of python3 (#2562)

python3 will give `ModuleNotFoundError: No module named 'manticore'` error.
trailofbits · Jul 5, 2022 · 3404267 · 3404267
1 parent 2918710
commit 3404267
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/examples/README.md b/examples/README.md
@@ -52,5 +52,5 @@ manticore@8d456f662d0f:~/manticore/examples/linux$ cat mcore_*/*1.stdin | ./basi
 
 # Use the Manticore API
 manticore@8d456f662d0f:~/manticore/examples/linux$ cd ../script
-manticore@8d456f662d0f:~/manticore/examples/script$ python3 count_instructions.py ../linux/helloworld
-```
+manticore@8d456f662d0f:~/manticore/examples/script$ python3.7 count_instructions.py ../linux/helloworld
+```