fix src/bytes/stm_tests.exe not being built by default

jmid · jmid · commit 09d96eab1425 · 2022-11-14T12:27:00.000+01:00
diff --git a/src/bytes/dune b/src/bytes/dune
@@ -5,7 +5,7 @@
 (alias
  (name default)
  (package multicoretests)
- (deps lin_tests_dsl.exe))
+ (deps stm_tests.exe lin_tests_dsl.exe))
 
 ;; Linearizability tests
 
