Merge remote-tracking branch 'origin/develop'

runtimeverification · Jan 19, 2024 · 4562505 · 4562505
2 parents 0a3ab1f + 464b2fc
commit 4562505
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -425,7 +425,7 @@ Common build-time error messages:
         ```
 
         copy the `got:` hash (`sha256-fFlRqlLDZnVuoJniPvXjqdYEjnKxmFCEniavau/1gcQ=`) and replace it in `flake.nix`:
-        
+
         ```nix
         k-framework = { haskell-backend-bins, llvm-kompile-libs }:
             prev.callPackage ./nix/k.nix {