Code

Fix compiling pack of rules#1036

Code

Merged

fblanqui merged 2 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom gabrielhdt:iss1033gabrielhdt/lambdapi:iss1033Copy head branch name to clipboardJan 30, 2024

+48-32

Commits

Commits on Jan 27, 2024

• Fix compiling pack of rules

  Show description for e2ad4f1
  

  Gabriel Hondet

  committed
  e2ad4f1

• Fix tests

  Show description for ae43dc8
  

  Gabriel Hondet

  committed
  ae43dc8