Fix typo in comment.
Chris Pressey
1 year, 16 days ago

28 | 28 | } |

29 | 29 | |

30 | 30 | int proves(struct theorem *t, struct formula *c) { |

31 | /* Asserts that the theorem p proves the formula c. If it does, | |

31 | /* Asserts that the theorem t proves the formula c. If it does, | |

32 | 32 | a successful system exit code (i.e. 0) is returned, with |

33 | 33 | which the process may exit. */ |

34 | 34 | assert(t->assumptions == NULL, "proves: proof contains undischarged assumptions"); |