fixup! Kappy: add alternate dune bin dir

Kappa-Dev · Mar 26, 2024 · 22d7def · 22d7def
1 parent bb5c179
commit 22d7def
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kappy/kappa_std.py b/kappy/kappa_std.py
@@ -20,7 +20,7 @@ def find_agent_bin():
     potential_dirs = []
     for base_dir in [KAPPY_DIR, KASIM_DIR]:
         for dune_build_dir in ['', '_build/install/default', '_build/default']:
-            potential_dirs.append(os.path.join(base_dir, dune_build_dir)
+            potential_dirs.append(os.path.join(base_dir, dune_build_dir))
     agent_names = ['KappaSwitchman']
     bin_dir = None
     for potential_dir in potential_dirs: