GNU-Prolog 1.5.0 supported too, updated README, issue #10

mlliarm · Jan 10, 2022 · e755a50 · e755a50
1 parent 00c87b2
commit e755a50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -22,7 +22,7 @@ To run the tests type:
 
 ## Supported Prolog backends
 - [x] SWI-Prolog (threaded, 64 bits, version 8.5.5-3-gb856d332c-DIRTY), works ([see issue #10](https://github.com/mlliarm/ia/issues/10#issuecomment-1009255385)).
-- [x] GNU-Prolog 1.5.0 (64 bits), works ([see issue #11](https://github.com/mlliarm/ia/issues/12#issuecomment-1009008243)).
+- [x] GNU-Prolog 1.5.0 (64 bits), works ([see issue #12](https://github.com/mlliarm/ia/issues/12#issuecomment-1009008243)).
 
 ### Examples
 [TODO](https://github.com/mlliarm/ia/issues/10#issue-745885381).