Fix build-breaking typo in lcsymtacs.sig

HOL-Theorem-Prover · Mar 31, 2014 · e248f68 · e248f68
1 parent b416146
commit e248f68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/boss/lcsymtacs.sig b/src/boss/lcsymtacs.sig
@@ -87,7 +87,7 @@ sig
   val rfs : thm list -> tactic
 
   val >> : tactic * tactic -> tactic
-  val // : tactic * tactci -> tactic
+  val // : tactic * tactic -> tactic
   val >| : tactic * tactic list -> tactic
   val >- : tactic * tactic -> tactic